diff --git a/counterexamples-cgi.hs b/counterexamples-cgi.hs
--- a/counterexamples-cgi.hs
+++ b/counterexamples-cgi.hs
@@ -121,7 +121,7 @@
 main = runCGI (handleErrors cgiMain)
 
 cgiMain = do
-	setHeader "Content-type" "text/xml; charset=UTF-8"
+	setHeader "Content-type" "text/html; charset=UTF-8"
 	
 	mTypeStr <- getInput "type"
 
@@ -167,7 +167,10 @@
 
 maindiv = thediv ! [theclass "main"]
 
-cdata s = primHtml ("<![CDATA[\n"++ s ++ "\n]]>")
+cdata s = primHtml $ 
+    -- ("<![CDATA[\n"++ 
+    s 
+    -- ++ "\n]]>")
 
 cssStyle = unlines 
         [ "body { padding:0px; margin: 0px; }"
diff --git a/free-theorems-counterexamples.cabal b/free-theorems-counterexamples.cabal
--- a/free-theorems-counterexamples.cabal
+++ b/free-theorems-counterexamples.cabal
@@ -1,5 +1,5 @@
 name:           free-theorems-counterexamples
-version:        0.3
+version:        0.3.0.1
 license:        PublicDomain
 author:         Daniel Seidel, Joachim Breitner
 maintainer:     ds@iai.uni-bonn.de