diff --git a/INSTALL b/INSTALL
--- a/INSTALL
+++ b/INSTALL
@@ -32,7 +32,7 @@
 Unpack the archive. Assume that it has been unpacked into directory
 "/somewhere". Then say
 
-cd /somewhere/lhs2TeX-1.18
+cd /somewhere/lhs2TeX-1.18.1
 ./configure
 make
 make install
@@ -48,18 +48,18 @@
 lhs2TeX binary. The default search path is as follows:
 
 .
-{HOME}/lhs2tex-1.18//
+{HOME}/lhs2tex-1.18.1//
 {HOME}/lhs2tex//
 {HOME}/lhs2TeX//
-{HOME}/.lhs2tex-1.18//
+{HOME}/.lhs2tex-1.18.1//
 {HOME}/.lhs2tex//
 {HOME}/.lhs2TeX//
 {LHS2TEX}//
-/usr/local/share/lhs2tex-1.18//
-/usr/local/share/lhs2tex-1.18//
-/usr/local/lib/lhs2tex-1.18//
-/usr/share/lhs2tex-1.18//
-/usr/lib/lhs2tex-1.18//
+/usr/local/share/lhs2tex-1.18.1//
+/usr/local/share/lhs2tex-1.18.1//
+/usr/local/lib/lhs2tex-1.18.1//
+/usr/share/lhs2tex-1.18.1//
+/usr/lib/lhs2tex-1.18.1//
 /usr/local/share/lhs2tex//
 /usr/local/lib/lhs2tex//
 /usr/share/lhs2tex//
diff --git a/Setup.hs b/Setup.hs
--- a/Setup.hs
+++ b/Setup.hs
@@ -31,7 +31,7 @@
 
 lhs2tex = "lhs2TeX"
 minPolytableVersion = [0,8,2]
-shortversion = show (numversion `div` 100) ++ "." ++ show (numversion `mod` 100)
+shortversion = show (numversion `div` 100) ++ "." ++ show (numversion `mod` 100) ++ ".1"
 version = shortversion ++ if ispre then "pre" ++ show pre else ""
 numversion = 118
 ispre = False
diff --git a/configure b/configure
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
 #! /bin/sh
 # Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.69 for lhs2tex 1.18.
+# Generated by GNU Autoconf 2.69 for lhs2tex 1.18.1.
 #
 #
 # Copyright (C) 1992-1996, 1998-2012 Free Software Foundation, Inc.
@@ -576,8 +576,8 @@
 # Identity of this package.
 PACKAGE_NAME='lhs2tex'
 PACKAGE_TARNAME='lhs2tex'
-PACKAGE_VERSION='1.18'
-PACKAGE_STRING='lhs2tex 1.18'
+PACKAGE_VERSION='1.18.1'
+PACKAGE_STRING='lhs2tex 1.18.1'
 PACKAGE_BUGREPORT=''
 PACKAGE_URL=''
 
@@ -1203,7 +1203,7 @@
   # Omit some internal or obsolete options to make the list less imposing.
   # This message is too long to be a string in the A/UX 3.1 sh.
   cat <<_ACEOF
-\`configure' configures lhs2tex 1.18 to adapt to many kinds of systems.
+\`configure' configures lhs2tex 1.18.1 to adapt to many kinds of systems.
 
 Usage: $0 [OPTION]... [VAR=VALUE]...
 
@@ -1264,7 +1264,7 @@
 
 if test -n "$ac_init_help"; then
   case $ac_init_help in
-     short | recursive ) echo "Configuration of lhs2tex 1.18:";;
+     short | recursive ) echo "Configuration of lhs2tex 1.18.1:";;
    esac
   cat <<\_ACEOF
 
@@ -1342,7 +1342,7 @@
 test -n "$ac_init_help" && exit $ac_status
 if $ac_init_version; then
   cat <<\_ACEOF
-lhs2tex configure 1.18
+lhs2tex configure 1.18.1
 generated by GNU Autoconf 2.69
 
 Copyright (C) 2012 Free Software Foundation, Inc.
@@ -1359,7 +1359,7 @@
 This file contains any messages produced by compilers while
 running configure, to aid debugging if configure makes a mistake.
 
-It was created by lhs2tex $as_me 1.18, which was
+It was created by lhs2tex $as_me 1.18.1, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   $ $0 $@
@@ -1708,8 +1708,8 @@
 
 
 
-VERSION="1.18"
-SHORTVERSION="1.18"
+VERSION="1.18.1"
+SHORTVERSION="1.18.1"
 NUMVERSION=118
 PRE=1
 
@@ -3347,7 +3347,7 @@
 # report actual input values of CONFIG_FILES etc. instead of their
 # values after options handling.
 ac_log="
-This file was extended by lhs2tex $as_me 1.18, which was
+This file was extended by lhs2tex $as_me 1.18.1, which was
 generated by GNU Autoconf 2.69.  Invocation command line was
 
   CONFIG_FILES    = $CONFIG_FILES
@@ -3400,7 +3400,7 @@
 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
 ac_cs_version="\\
-lhs2tex config.status 1.18
+lhs2tex config.status 1.18.1
 configured by $0, generated by GNU Autoconf 2.69,
   with options \\"\$ac_cs_config\\"
 
diff --git a/doc/Guide2.pdf b/doc/Guide2.pdf
Binary files a/doc/Guide2.pdf and b/doc/Guide2.pdf differ
diff --git a/doc/RawSearchPath.lhs b/doc/RawSearchPath.lhs
--- a/doc/RawSearchPath.lhs
+++ b/doc/RawSearchPath.lhs
@@ -1,17 +1,17 @@
 \begin{code}
 .
-{HOME}/lhs2tex-1.18//
+{HOME}/lhs2tex-1.18.1//
 {HOME}/lhs2tex//
 {HOME}/lhs2TeX//
-{HOME}/.lhs2tex-1.18//
+{HOME}/.lhs2tex-1.18.1//
 {HOME}/.lhs2tex//
 {HOME}/.lhs2TeX//
 {LHS2TEX}//
-/usr/local/share/lhs2tex-1.18//
-/usr/local/share/lhs2tex-1.18//
-/usr/local/lib/lhs2tex-1.18//
-/usr/share/lhs2tex-1.18//
-/usr/lib/lhs2tex-1.18//
+/usr/local/share/lhs2tex-1.18.1//
+/usr/local/share/lhs2tex-1.18.1//
+/usr/local/lib/lhs2tex-1.18.1//
+/usr/share/lhs2tex-1.18.1//
+/usr/lib/lhs2tex-1.18.1//
 /usr/local/share/lhs2tex//
 /usr/local/lib/lhs2tex//
 /usr/share/lhs2tex//
diff --git a/lhs2tex.cabal b/lhs2tex.cabal
--- a/lhs2tex.cabal
+++ b/lhs2tex.cabal
@@ -1,6 +1,6 @@
 cabal-version:  >=1.10
 name:           lhs2tex
-version:        1.18
+version:        1.18.1
 license:        GPL
 license-file:   LICENSE
 author:         Ralf Hinze <ralf.hinze@comlab.ox.ac.uk>, Andres Loeh <lhs2tex@andres-loeh.de>
@@ -32,7 +32,6 @@
                         FileNameUtils
                         FiniteMap
                         HsLexer
-                        LaTeX
                         License
                         MathCommon
                         Math
diff --git a/src/License.lhs b/src/License.lhs
--- a/src/License.lhs
+++ b/src/License.lhs
@@ -8,7 +8,7 @@
 
 > programInfo                   :: String
 > programInfo                   =
->     "lhs2TeX " ++ version ++ ", Copyright (C) 1997-2011 Ralf Hinze, Andres Loeh\n\n\
+>     "lhs2TeX " ++ version ++ ", Copyright (C) 1997-2012 Ralf Hinze, Andres Loeh\n\n\
 >     \lhs2TeX comes with ABSOLUTELY NO WARRANTY;\n\
 >     \for details type `lhs2TeX --warranty'.\n\
 >     \This is free software, and you are welcome to redistribute it\n\