diff --git a/README b/README
--- a/README
+++ b/README
@@ -1,4 +1,4 @@
-The module free-theorems-seq-webui-0.1 provides the binary free-theorems-seq-webui.cgi.
+The module free-theorems-seq-webui-1.0.0.2 provides the binary free-theorems-seq-webui.cgi.
 
 Installation can either be done with cabal (configure/build/install) or
 runhaskell Setup.hs configure --user
@@ -23,7 +23,7 @@
 Acknowledgements.
 =================
 
-Most of the webinterface' code (./src/polyseq-cgi.hs) and the script testcgi.py
+Most of the webinterface' code (./src/free-theorems-seq-webui.hs) and the script testcgi.py
 are written by 
 
 Joachim Breitner <mail@joachim-breitner.de>.
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.0.1
+version:        1.0.0.2
 license:        PublicDomain
 author:         Daniel Seidel
 maintainer:     ds@iai.uni-bonn.de
@@ -26,7 +26,7 @@
     build-depends:
         cgi >= 3001.1.5.1
       , containers >= 0.1.0.1 
-      , free-theorems-seq == 0.1.*
+      , free-theorems-seq == 1.*
       , mtl >= 1.1.0.0
       , network >= 2.1.0.0 
       , pretty == 1.*
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
@@ -111,12 +111,12 @@
 			thespan ! [theclass "title"] << "Haskell" +++
 			thespan ! [theclass "subtitle"] << "Taming Selective Strictness"
 		) +++
-	        maindiv ( p << ("This tool allows you to experiment with the method described in the paper "
+	        maindiv ( p << ("This tool allows you to experiment with the method described in the article "
                                 +++ primHtmlChar "ldquo" 
-                                +++ hotlink "http://www.iai.uni-bonn.de/~jv/atps09.pdf" 
-                                    << "Taming Selective Strictness"
+                                +++ hotlink "http://www.iai.uni-bonn.de/~jv/acta.pdf" 
+                                    << "Refined Typing to Localize the Impact of Forced Strictness on Free Theorems"
                                 +++ primHtmlChar "rdquo"
-                                +++ " (ATPS'09) by Daniel Seidel and " 
+                                +++ " (Acta Informatica, to appear) by Daniel Seidel and " 
                                 +++ hotlink "http://www.iai.uni-bonn.de/~jv"
                                     << (toHtml "Janis Voigtländer")
                                 +++ ".") +++