diff --git a/Swish/RDF/RDFGraphShowM.hs b/Swish/RDF/RDFGraphShowM.hs
--- a/Swish/RDF/RDFGraphShowM.hs
+++ b/Swish/RDF/RDFGraphShowM.hs
@@ -1,4 +1,6 @@
 {-# LANGUAGE TypeSynonymInstances #-}
+{-# LANGUAGE FlexibleInstances #-} -- needed for ghc 7.2
+
 --------------------------------------------------------------------------------
 --  See end of this file for licence information.
 --------------------------------------------------------------------------------
@@ -9,7 +11,7 @@
 --
 --  Maintainer  :  Douglas Burke
 --  Stability   :  experimental
---  Portability :  TypeSynonymInstances
+--  Portability :  TypeSynonymInstances, FlexibleInstances
 --
 --  This module defines a `ShowM` class instance for `RDFGraph`, to be
 --  used when displaying RDF Graph values as part of a proof sequence,
diff --git a/swish.cabal b/swish.cabal
--- a/swish.cabal
+++ b/swish.cabal
@@ -1,5 +1,5 @@
 Name:               swish
-Version:            0.5.0.2
+Version:            0.5.0.3
 Stability:          experimental
 License:            LGPL
 License-file:       LICENSE 
@@ -45,6 +45,8 @@
   * Complete, ready-to-run, command-line and script-driven programs.
   .
   Changes:
+  .
+  [Version 0.5.0.3] Didn't get all the required @FlexibleInstances@.
   .
   [Version 0.5.0.2] HUnit constraint is only added when the @tests@ flag
   is used. Removed random and bytestring constraints. Add @FlexibleInstances@