diff --git a/Standalone.hs b/Standalone.hs
--- a/Standalone.hs
+++ b/Standalone.hs
@@ -10,6 +10,7 @@
 
 import Text.XHtml.Strict (showHtmlFragment)
 import Text.Pandoc
+import qualified Data.Map as Map
 
 ---------------------------------------------------------------
 
@@ -31,13 +32,10 @@
             $ common inp filecont
 
     let
-        meta = Meta
-            { docTitle = [Str inp']
-            , docAuthors = []
-            , docDate = []
-            }
+        meta = Meta $ Map.fromList
+            [ ("title", MetaInlines [Str inp']) ]
 
-    return $ writeHtmlString `flip` Pandoc meta [ RawBlock "html" $ showHtmlFragment res ]
+    return $ writeHtmlString `flip` Pandoc meta [ RawBlock (Format "html") $ showHtmlFragment res ]
       $ def
         { writerStandalone      = True
         , writerTableOfContents = True
diff --git a/agda-server.cabal b/agda-server.cabal
--- a/agda-server.cabal
+++ b/agda-server.cabal
@@ -1,5 +1,5 @@
 name:               agda-server
-version:            0.1.0.1
+version:            0.1.1
 category:           Dependent types
 synopsis:           Http server for Agda (prototype)
 description:
@@ -47,7 +47,7 @@
                   , utf8-string
                   , xhtml
                   , HJavaScript
-                  , pandoc
+                  , pandoc >= 1.12
                   , snap-core
                   , snap-server
                   , Agda >= 2.3.3