diff --git a/ghc/compiler/typecheck/Unify.lhs b/ghc/compiler/typecheck/Unify.lhs
index 6516e640f4d4de2c7cb3146f00faef150e8416e2..cbc42a878b49b2dfb069c8a471fc4b1e3c9fad3e 100644
--- a/ghc/compiler/typecheck/Unify.lhs
+++ b/ghc/compiler/typecheck/Unify.lhs
@@ -256,12 +256,8 @@ uUnboundVar tv1@(TyVar uniq1 kind1 name1 box1)
 	(_, UnBound) |  kind1 `hasMoreBoxityInfo` kind2
 		     -> tcWriteTyVar tv2 (TyVarTy tv1)	`thenNF_Tc_` returnTc ()
 
--- TEMPORARY FIX
---	(DontBind,DontBind) 
---		     -> failTc (unifyDontBindErr tv1 ps_ty2)
-
--- TEMPORARILY allow two type-sig variables to be bound together.
--- See notes in tcCheckSigVars
+-- Allow two type-sig variables to be bound together.
+-- They may be from the same binding group, so it may be OK.
 	(DontBind,DontBind) |  kind2 `hasMoreBoxityInfo` kind1
 		            -> tcWriteTyVar tv1 ps_ty2		`thenNF_Tc_` returnTc ()