diff --git a/Setup.lhs b/Setup.lhs
deleted file mode 100644
--- a/Setup.lhs
+++ /dev/null
@@ -1,4 +0,0 @@
-#! /usr/bin/env runhaskell
-
-> import Distribution.Simple
-> main = defaultMain
diff --git a/hylolib.cabal b/hylolib.cabal
--- a/hylolib.cabal
+++ b/hylolib.cabal
@@ -1,16 +1,12 @@
 cabal-version:       2.0
 Name:                hylolib
-Version:             1.5.5
+Version:             1.5.6
 Synopsis:            Tools for hybrid logics related programs
 License:             GPL
 License-file:        LICENSE
-Author:              Daniel Gorin
-Maintainer:          guillaumh@gmail.com
+Homepage:            https://github.com/geh/hylolib
 Build-Type:          Simple
 Category:            Theorem Provers
-source-repository head
-    type:     darcs
-    location: http://hub.darcs.net/gh/hylolib
 
 Library
   Default-language:    Haskell2010
diff --git a/src/HyLo/Formula/Rewrite.hs b/src/HyLo/Formula/Rewrite.hs
--- a/src/HyLo/Formula/Rewrite.hs
+++ b/src/HyLo/Formula/Rewrite.hs
@@ -22,8 +22,8 @@
     showsPrec _ (Rewr i)    = showString "RW_" . shows i
 
 instance Read prop => Read (Rewr prop) where
-    readPrec = RP.choice [do 'O' <- RP.get; Orig `liftM` readPrec,
-                          do _ <- RP.lift (string "RW_"); Rewr `liftM` readPrec]
+    readPrec = RP.choice [do 'O' <- RP.get; Orig <$> readPrec,
+                          do _ <- RP.lift (string "RW_"); Rewr <$> readPrec]
 
 wrapProps :: Formula n p r -> Formula n (Rewr p) r
 wrapProps = mapSig id Orig id