diff --git a/Lava/Eprover.hs b/Lava/Eprover.hs
--- a/Lava/Eprover.hs
+++ b/Lava/Eprover.hs
@@ -24,7 +24,7 @@
   , hClose
   )
 
-import System.IO.Error
+import Control.Exception
   ( try
   )
 
@@ -126,6 +126,7 @@
 
      try (do readFile theoryFile
              system ("cat " ++ theoryFile ++ " >> " ++ file))
+                :: IO (Either IOError ExitCode)
 
      return ()
  where
diff --git a/chalmers-lava2000.cabal b/chalmers-lava2000.cabal
--- a/chalmers-lava2000.cabal
+++ b/chalmers-lava2000.cabal
@@ -1,5 +1,5 @@
 name:                chalmers-lava2000
-version:             1.2.0
+version:             1.3
 synopsis:            Hardware description library
 description:         Hardware description library
 category:            Language, Hardware
@@ -15,7 +15,7 @@
 
 source-repository head
   type:     darcs
-  location: http://code.haskell.org/chalmers-lava2000/
+  location: http://projects.haskell.org/chalmers-lava2000/
 
 library
     exposed-modules: