diff --git a/example/hello/README.md b/example/hello/README.md
--- a/example/hello/README.md
+++ b/example/hello/README.md
@@ -1,5 +1,8 @@
 # Zeolite Hello Example
 
+*Also see
+[a highlighted version of the example code](https://ta0kira.github.io/zeolite/example/hello).*
+
 To run the example:
 
 ```shell
diff --git a/example/regex/README.md b/example/regex/README.md
--- a/example/regex/README.md
+++ b/example/regex/README.md
@@ -1,7 +1,7 @@
 # Zeolite Regex Example
 
 *Also see
-[a highlighted version of the example code](https://ta0kira.github.io/zeolite/example/regex/index.html).*
+[a highlighted version of the example code](https://ta0kira.github.io/zeolite/example/regex).*
 
 To run the example:
 
diff --git a/example/tree/README.md b/example/tree/README.md
--- a/example/tree/README.md
+++ b/example/tree/README.md
@@ -1,7 +1,7 @@
 # Zeolite Tree Example
 
 *Also see
-[a highlighted version of the example code](https://ta0kira.github.io/zeolite/example/tree/index.html).*
+[a highlighted version of the example code](https://ta0kira.github.io/zeolite/example/tree).*
 
 To run the example:
 
diff --git a/src/Base/CompileError.hs b/src/Base/CompileError.hs
--- a/src/Base/CompileError.hs
+++ b/src/Base/CompileError.hs
@@ -45,9 +45,6 @@
 class Monad m => CompileErrorM m where
 #endif
   compileErrorM :: String -> m a
-#if MIN_VERSION_base(4,9,0)
-  compileErrorM = fail
-#endif
   isCompileErrorM :: m a -> Bool
   collectAllOrErrorM :: Foldable f => f (m a) -> m [a]
   collectOneOrErrorM :: Foldable f => f (m a) -> m a
diff --git a/zeolite-lang.cabal b/zeolite-lang.cabal
--- a/zeolite-lang.cabal
+++ b/zeolite-lang.cabal
@@ -1,5 +1,5 @@
 name:                zeolite-lang
-version:             0.1.2.2
+version:             0.1.2.3
 synopsis:            Zeolite is a statically-typed, general-purpose programming language.
 
 description: