diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c)2011, Benedict Eastaugh
+Copyright (c) 2011, Benedict Eastaugh
 
 All rights reserved.
 
diff --git a/hatt.cabal b/hatt.cabal
--- a/hatt.cabal
+++ b/hatt.cabal
@@ -1,5 +1,5 @@
 Name:               hatt
-Version:            1.4.0.1
+Version:            1.4.0.2
 
 Synopsis:           A truth table generator for classical propositional logic.
 Description:        Hatt is a command-line program which prints truth tables
@@ -10,7 +10,7 @@
 License-file:       LICENSE
 Author:             Benedict Eastaugh
 Maintainer:         benedict@eastaugh.net
-Copyright:          (c) 2011 Benedict Eastaugh
+Copyright:          (c) 2012 Benedict Eastaugh
 Homepage:           http://extralogical.net/projects/hatt
 Category:           Logic
 Cabal-version:      >= 1.6
@@ -27,7 +27,7 @@
   GHC-options:      -Wall
   Build-depends:    base           >= 4 && < 5,
                     containers     >= 0.3 && < 0.5,
-                    parsec         >= 2.1 && < 2.2,
+                    parsec         >= 2.1 && < 3.2,
                     ansi-wl-pprint >= 0.6 && < 0.7
   Exposed-modules:  Data.Logic.Propositional
   Other-modules:    Data.Logic.Propositional.Core,
@@ -41,6 +41,6 @@
   Build-depends:    base           >= 4 && < 5,
                     cmdargs        >= 0.7,
                     containers     >= 0.3 && < 0.5,
-                    parsec         >= 2.1 && < 2.2,
+                    parsec         >= 2.1 && < 3.2,
                     ansi-wl-pprint >= 0.6 && < 0.7,
                     haskeline      >= 0.6 && < 0.7
diff --git a/src/hatt.hs b/src/hatt.hs
--- a/src/hatt.hs
+++ b/src/hatt.hs
@@ -31,7 +31,7 @@
   , interactive = False &= help "Enter interactive mode"
   , pretty      = False &= help "Use Unicode logic symbols"
   , coloured    = False &= help "Use colour-coded symbols"
-  } &= summary "Hatt 1.4.0.1, (c) Benedict Eastaugh 2011"
+  } &= summary "Hatt 1.4.0.2, (c) Benedict Eastaugh 2012"
     &= program "hatt"
 
 main :: IO ()