diff --git a/compiler/iface/MkIface.lhs b/compiler/iface/MkIface.lhs
index be6b8ec0b254499626b347df76c18ba8a7fe5bd9..fa91a0ac190d37c4c13416e00753600cfce1417c 100644
--- a/compiler/iface/MkIface.lhs
+++ b/compiler/iface/MkIface.lhs
@@ -11,8 +11,10 @@ module MkIface (
 
 	writeIfaceFile,	-- Write the interface file
 
-	checkOldIface	-- See if recompilation is required, by
+	checkOldIface,	-- See if recompilation is required, by
 			-- comparing version information
+
+        tyThingToIfaceDecl -- Converting things to their Iface equivalents
  ) where
 \end{code}
 
diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs
index a7e73353f41ab99738e487a4756180dd4057e289..9e1bfb97a5bd9e28cb1ee0e1f97f58ceb5e3f5e8 100644
--- a/compiler/typecheck/TcRnDriver.lhs
+++ b/compiler/typecheck/TcRnDriver.lhs
@@ -48,7 +48,8 @@ import TcRules		( tcRules )
 import TcForeign	( tcForeignImports, tcForeignExports )
 import TcInstDcls	( tcInstDecls1, tcInstDecls2 )
 import TcIface		( tcExtCoreBindings, tcHiBootIface )
-import IfaceSyn		( checkBootDecl, tyThingToIfaceDecl, IfaceExtName(..) )
+import MkIface		( tyThingToIfaceDecl )
+import IfaceSyn		( checkBootDecl, IfaceExtName(..) )
 import TcSimplify	( tcSimplifyTop )
 import TcTyClsDecls	( tcTyAndClassDecls )
 import LoadIface	( loadOrphanModules )