diff --git a/ghc/compiler/types/FunDeps.lhs b/ghc/compiler/types/FunDeps.lhs
index d99b53bcec1ee3fb13349b0a027ba1bfe8da9c58..c1db64ebab408d5852dcf4702b0080b4c9fed543 100644
--- a/ghc/compiler/types/FunDeps.lhs
+++ b/ghc/compiler/types/FunDeps.lhs
@@ -1,17 +1,30 @@
+%
+% (c) The GRASP/AQUA Project, Glasgow University, 2000
+%
+\section[FunDeps]{FunDeps - functional dependencies}
+
 It's better to read it as: "if we know these, then we're going to know these"
 
 \begin{code}
-module FunDeps(oclose, instantiateFdClassTys, tyVarFunDep, pprFundeps) where
+module FunDeps (
+	oclose,
+        instantiateFdClassTys,
+        tyVarFunDep,
+        pprFundeps
+    ) where
 
 #include "HsVersions.h"
 
-import Class		(classTvsFds)
-import Type		(tyVarsOfType)
-import Outputable	(interppSP, ptext, empty, hsep, punctuate, comma)
-import UniqSet		(elementOfUniqSet, addOneToUniqSet,
-			 uniqSetToList, unionManyUniqSets)
-import List		(elemIndex)
+import Class		( classTvsFds )
+import Type		( tyVarsOfType )
+import Outputable	( interppSP, ptext, empty, hsep, punctuate, comma )
+import UniqSet		( elementOfUniqSet, addOneToUniqSet,
+			  uniqSetToList, unionManyUniqSets )
+import List		( elemIndex )
+\end{code}
+
 
+\begin{code}
 oclose fds vs =
     case oclose1 fds vs of
       (vs', False) -> vs'