diff --git a/Hakyll/Web/Agda.hs b/Hakyll/Web/Agda.hs
--- a/Hakyll/Web/Agda.hs
+++ b/Hakyll/Web/Agda.hs
@@ -83,14 +83,14 @@
                _ : rest' -> end rest'
 
     end []  = []
-    end mis = let (a, b) = span (notCode endCode) mis
-              in Right a :
+    end mis = let (code, rest) = span (notCode endCode) mis
+              in Right code :
                  -- If there's nothing between \end{code} and \begin{code}, we
                  -- start consuming code again.
-                 case b of
-                     []                                 -> error "malformed file"
-                     ((_, s, mi) : b') | beginCode s mi -> end b'
-                     (_          : b')                  -> begin b'
+                 case rest of
+                     []                                    -> error "malformed file"
+                     ((_, s, mi) : code') | beginCode s mi -> end code'
+                     (_          : com)                    -> begin com
 
     notCode f (_, s, mi) = not (f s mi)
 
diff --git a/hakyll-agda.cabal b/hakyll-agda.cabal
--- a/hakyll-agda.cabal
+++ b/hakyll-agda.cabal
@@ -1,6 +1,6 @@
 Cabal-version:      >= 1.6
 Name:               hakyll-agda
-Version:            0.1.1
+Version:            0.1.2
 Author:             Francesco Mazzoli (f@mazzo.li)
 Maintainer:         Francesco Mazzoli (f@mazzo.li)
 Build-Type:         Simple
@@ -8,16 +8,19 @@
 Build-Type:         Simple
 Category:           Web
 Synopsis:           Wrapper to integrate literate Agda files with Hakyll
-Tested-With:        GHC==7.4.1
-Homepage:           https://github.com/bitonic/website
-Bug-Reports:        https://github.com/bitonic/website/issues
+Tested-With:        GHC==7.6.3
+Homepage:           https://github.com/bitonic/hakyll-agda
+Bug-Reports:        https://github.com/bitonic/hakyll-agda/issues
 Description:
     Simple module useful to generate blog posts from literate Agda files.
+    .
+    Note: Currently this package requires the development version of Hakyll,
+    see <http://mazzo.li/posts/agda-hakyll.html> for more info.
 Data-Files:         css/agda.css
 
 source-repository head
     type:     git
-    location: git://github.com/bitonic/website.git
+    location: git://github.com/bitonic/hakyll-agda.git
 
 Library
     Build-Depends:    base >= 3 && < 5,
@@ -27,7 +30,7 @@
                       xhtml >= 3000.2 && < 3000.3,
                       filepath >= 1.3 && < 2,
                       directory >= 1.1 && < 2,
-                      containers >= 0.4.2 && < 0.5,
+                      containers >= 0.4.2 && < 0.6,
                       mtl >= 2.1 && < 3,
                       transformers >= 0.3 && < 0.4
     GHC-Options:      -Wall