diff --git a/agda-server.cabal b/agda-server.cabal
--- a/agda-server.cabal
+++ b/agda-server.cabal
@@ -1,12 +1,12 @@
 name:               agda-server
-version:            0.1
+version:            0.1.0.1
 category:           Dependent types
 synopsis:           Http server for Agda (prototype)
 description:
     @agda-server@ serves agda files as XML files.
     .
     Usage: Run @agda-server@ (see --help for command line options). Then open a browser
-    with @localhost:8001//X.xml@ (or similar).
+    with @localhost:8001/X.xml@ (or similar).
     .
     Supported features: Type checking (whole module), links between modules (but not between library modules), basic support for holes.
 stability:          experimental