diff --git a/free-theorems-seq-webui.cabal b/free-theorems-seq-webui.cabal
--- a/free-theorems-seq-webui.cabal
+++ b/free-theorems-seq-webui.cabal
@@ -1,5 +1,5 @@
 name:           free-theorems-seq-webui
-version:        1.0
+version:        1.0.0.1
 license:        PublicDomain
 author:         Daniel Seidel
 maintainer:     ds@iai.uni-bonn.de
diff --git a/src/free-theorems-seq-webui.hs b/src/free-theorems-seq-webui.hs
--- a/src/free-theorems-seq-webui.hs
+++ b/src/free-theorems-seq-webui.hs
@@ -76,14 +76,17 @@
                                   printTypeAndFT (head minTypeFTList))
                              +++
                         p << "The normal free theorem for the type without annotations would be:" +++
-                             pre << tt << (highlight normalFT)))
+                             pre << tt << (highlight $ neq2eq normalFT)))
  where run_algorithmM = do res <- liftIO (watchdog2 3000 (getForWebInterface termStr))
 			   return (case res of
 			                Nothing -> Left ("TimeOut","Unfortunately the generator the type generator timed out. Time was restricted to 3 seconds.")
 			                Just x  -> x)
        printTypeAndFT (tau,ft) = p << pre << tt << tau +++
                                  p << "with the free theorem" +++
-				      pre << tt << (highlight ft)
+				      pre << tt << (highlight $ neq2eq ft)
+       neq2eq ('/':'=':s) = neq2eq ('=':s)
+       neq2eq (x:xs)      = x : neq2eq xs
+       neq2eq []          = []
 
 main = runCGI (handleErrors cgiMain)