diff --git a/INSTALL b/INSTALL
--- a/INSTALL
+++ b/INSTALL
@@ -1,3 +1,5 @@
+# Installation
+
 First install the [Haskell Platform](http://www.haskell.org/platform).
 
 Then install the package by running
@@ -9,3 +11,12 @@
     cabal install chalmers-lava2000
 
 to install the latest version on Hackage.
+
+# Verification
+
+In order to use verification, make sure that the binaries `smv` and/or `satzoo` are visible in your path.
+
+  * SMV can be obtained from here: <http://www.cs.cmu.edu/~modelcheck/smv.html>
+  * There is (as of 2015-10-23) a cached version of Satzoo available here: <http://vlsicad.eecs.umich.edu/BK/Slots/cache/www.cs.chalmers.se/~een/Satzoo/>
+
+If verification gives ".../smv.wrapper Permission denied" (or similarly for `satzoo`), you need to mark the problematic files as executable. (That is, not the files in the `Scripts` directory, but the copy of those files that Cabal made during installation.
diff --git a/Scripts/satzoo.wrapper b/Scripts/satzoo.wrapper
--- a/Scripts/satzoo.wrapper
+++ b/Scripts/satzoo.wrapper
@@ -40,7 +40,7 @@
 
 satzoo_()
 {
-  time $Lava2000_Satzoo $Args $File 2> $Time
+  time satzoo $Args $File 2> $Time
 }
 
 satzoo_ > $Output
diff --git a/Scripts/smv.wrapper b/Scripts/smv.wrapper
--- a/Scripts/smv.wrapper
+++ b/Scripts/smv.wrapper
@@ -40,7 +40,7 @@
 
 smv_()
 {
-  /usr/bin/time $Lava2000_SMV $File $Args 2> $Time
+  time smv $File $Args 2> $Time
 }
 
 smv_ > $Output
diff --git a/chalmers-lava2000.cabal b/chalmers-lava2000.cabal
--- a/chalmers-lava2000.cabal
+++ b/chalmers-lava2000.cabal
@@ -1,11 +1,11 @@
 name:                chalmers-lava2000
-version:             1.5
+version:             1.5.1
 synopsis:            Hardware description EDSL
 description:         For more info, see the tutorial: <http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf>
 category:            Language, Hardware
 license:             BSD3
 license-file:        LICENSE
-copyright:           (c) 2008. Koen Claessen <koen@chalmers.se>
+copyright:           2008 Koen Claessen, 2008-2015 Emil Axelsson
 author:              Koen Claessen <koen@chalmers.se>
 maintainer:          Emil Axelsson <emax@chalmers.se>
 homepage:            http://projects.haskell.org/chalmers-lava2000/Doc/tutorial.pdf