diff --git a/gulcii.cabal b/gulcii.cabal
--- a/gulcii.cabal
+++ b/gulcii.cabal
@@ -1,5 +1,5 @@
 Name:               gulcii
-Version:            0.2.0.1
+Version:            0.2.0.3
 Synopsis:           graphical untyped lambda calculus interactive interpreter
 Description:
   GULCII is an untyped lambda calculus interpreter supporting interactive
@@ -25,20 +25,20 @@
   Quick start:
   .
   > gulcii
-  > :load mars.gu
+  > :load mars
   > main
   > :quit
   .
   If you have Pure-data and Timidity, try:
   .
   > timidity -iA -Oj &
-  > pd -alsamidi ~/.cabal/share/gulcii-0.2.0.1/extra/fudi2midi.pd &
+  > pd -alsamidi ~/.cabal/share/gulcii-0.2.0.3/extra/fudi2midi.pd &
   > gulcii | pdsend 8765
   .
   See also: live-sequencer which has many more features (but no sharing during
   evaluation).
 
-Homepage:           http://gitorious.org/maximus/gulcii
+Homepage:           http://code.mathr.co.uk/gulcii
 License:            GPL-2
 License-file:       LICENSE
 Author:             Claude Heiland-Allen
@@ -46,7 +46,7 @@
 Category:           Sound, Music, GUI
 Build-type:         Simple
 Cabal-version:      >=1.6
-Tested-With:        GHC==7.6.2
+Tested-With:        GHC==7.6.3, GHC==7.8.2
 
 Data-files:         extra/fudi2midi.pd,
                     lib/bits.gu,
@@ -68,17 +68,17 @@
   Build-depends:    base >= 3 && < 6,
                     containers >= 0.3 && < 0.6,
                     filepath >= 1.1 && < 1.4,
-                    gtk >= 0.11 && < 0.13,
-                    cairo >= 0.11 && < 0.13
+                    gtk >= 0.11 && < 0.14,
+                    cairo >= 0.11 && < 0.14
   Other-modules:    Bruijn Command Draw Evaluation Graph Lambda Layout Meta Parse Sugar
   ghc-options:      -Wall -threaded -rtsopts
-  ghc-prof-options: -prof -auto-all -caf-all
+--  ghc-prof-options: -prof -auto-all -caf-all
 
 Source-Repository head
   Type: git
-  Location: git://gitorious.org/maximus/gulcii.git
+  Location: http://code.mathr.co.uk/gulcii.git
 
 Source-Repository this
   Type: git
-  Tag: 0.2.0.1
-  Location: git://gitorious.org/maximus/gulcii.git
+  Tag: v0.2.0.3
+  Location: http://code.mathr.co.uk/gulcii.git