diff --git a/Setup.hs b/Setup.hs
--- a/Setup.hs
+++ b/Setup.hs
@@ -1,6 +1,6 @@
 -- This file is part of Hoppy.
 --
--- Copyright 2016-2017 Bryan Gardiner <bog@khumba.net>
+-- Copyright 2015-2018 Bryan Gardiner <bog@khumba.net>
 --
 -- This program is free software: you can redistribute it and/or modify
 -- it under the terms of the GNU Affero General Public License as published by
diff --git a/hoppy-docs.cabal b/hoppy-docs.cabal
--- a/hoppy-docs.cabal
+++ b/hoppy-docs.cabal
@@ -1,12 +1,12 @@
 name: hoppy-docs
-version: 0.3.2
+version: 0.4.0
 synopsis: C++ FFI generator - Documentation
 homepage: http://khumba.net/projects/hoppy
 license: AGPL-3
 license-file: LICENSE
 author: Bryan Gardiner <bog@khumba.net>
 maintainer: Bryan Gardiner <bog@khumba.net>
-copyright: Copyright 2015-2017 Bryan Gardiner
+copyright: Copyright 2015-2018 Bryan Gardiner
 category: Foreign
 build-type: Simple
 cabal-version: >=1.10
@@ -21,8 +21,8 @@
   build-depends:
       base >=4.7 && <5
     , haskell-src >=1.0 && <1.1
-    , hoppy-generator >=0.3 && <0.4
-    , hoppy-runtime >=0.3 && <0.4
+    , hoppy-generator >=0.4 && <0.5
+    , hoppy-runtime >=0.4 && <0.5
   hs-source-dirs: src
   ghc-options: -W -fwarn-incomplete-patterns -fwarn-unused-do-bind
   default-language: Haskell2010
diff --git a/src/Foreign/Hoppy/Documentation/UsersGuide.hs b/src/Foreign/Hoppy/Documentation/UsersGuide.hs
--- a/src/Foreign/Hoppy/Documentation/UsersGuide.hs
+++ b/src/Foreign/Hoppy/Documentation/UsersGuide.hs
@@ -1,6 +1,6 @@
 -- This file is part of Hoppy.
 --
--- Copyright 2015-2017 Bryan Gardiner <bog@khumba.net>
+-- Copyright 2015-2018 Bryan Gardiner <bog@khumba.net>
 --
 -- This program is free software: you can redistribute it and/or modify
 -- it under the terms of the GNU Affero General Public License as published by
@@ -1222,15 +1222,15 @@
 class ZipperValue a where
   withZipperPtr :: a -> (ZipperConst -> IO b) -> IO b
 
-instance CompressorPtrConst a => ZipperValue a
+instance CompressorConstPtr a => ZipperValue a
 
-class CompressorPtrConst a => ZipperPtrConst a where
+class CompressorConstPtr a => ZipperConstPtr a where
   toZipperConst :: a -> ZipperConst
 
-class (ZipperPtrConst a, CompressorPtr a) => ZipperPtr a where
+class (ZipperConstPtr a, CompressorPtr a) => ZipperPtr a where
   toZipper :: a -> Zipper
 
-instance ZipperPtrConst ZipperConst
+instance ZipperConstPtr ZipperConst
 instance ZipperPtr Zipper
 ... instances required by superclasses ...
 @