diff --git a/ghc-vis.cabal b/ghc-vis.cabal
--- a/ghc-vis.cabal
+++ b/ghc-vis.cabal
@@ -1,5 +1,5 @@
 name:               ghc-vis
-version:            0.7.2.2
+version:            0.7.2.3
 license:            BSD3
 license-file:       LICENSE
 category:           GHC, Debug, Development
@@ -69,4 +69,4 @@
 
 source-repository head
     type:     git
-    location: git://r0q.ath.cx/vis
+    location: https://github.com/def-/ghc-vis.git
diff --git a/src/GHC/Vis/View/Graph/Parser.hs b/src/GHC/Vis/View/Graph/Parser.hs
--- a/src/GHC/Vis/View/Graph/Parser.hs
+++ b/src/GHC/Vis/View/Graph/Parser.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE OverloadedStrings, RankNTypes, KindSignatures #-}
 
 {- |
    Module      : GHC.Vis.View.Graph.Parser
@@ -52,7 +52,7 @@
 graphvizCommand = Dot
 
 -- | A generic algorithm to restrict a graph to the subgraph reachable by certain nodes
-reachableSubgraph :: DynGraph gr => [Node] => gr a b => gr a b
+reachableSubgraph :: forall (gr :: * -> * -> *) a b. DynGraph gr => [Node] -> gr a b -> gr a b
 reachableSubgraph roots graph = flip delNodes graph $
     filter (`S.notMember` reachableNodes) $
     nodes graph