diff --git a/Test/Tasty/Silver.hs b/Test/Tasty/Silver.hs
--- a/Test/Tasty/Silver.hs
+++ b/Test/Tasty/Silver.hs
@@ -1,7 +1,7 @@
 {-# LANGUAGE TypeSynonymInstances, FlexibleInstances, OverloadedStrings #-}
 {-# LANGUAGE CPP #-}
 {- |
-This module provides a simplified interface. If you want more, see "Test.Tasty.Golden.Advanced".
+This module provides a simplified interface. If you want more, see "Test.Tasty.Silver.Advanced".
 
 Note about filenames. They are looked up in the usual way, thus relative
 names are relative to the processes current working directory.
diff --git a/Test/Tasty/Silver/Interactive.hs b/Test/Tasty/Silver/Interactive.hs
--- a/Test/Tasty/Silver/Interactive.hs
+++ b/Test/Tasty/Silver/Interactive.hs
@@ -5,6 +5,7 @@
 {-# LANGUAGE BangPatterns #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE CPP #-}
+{-# LANGUAGE FlexibleContexts #-}
 -- | Golden test management, interactive mode. Runs the tests, and asks
 -- the user how to proceed in case of failure or missing golden standard.
 module Test.Tasty.Silver.Interactive
diff --git a/Test/Tasty/Silver/Internal.hs b/Test/Tasty/Silver/Internal.hs
--- a/Test/Tasty/Silver/Internal.hs
+++ b/Test/Tasty/Silver/Internal.hs
@@ -118,7 +118,7 @@
             (GRDifferent a b c d) -> return $ GRDifferent a b c d
             (GREqual) -> return GREqual
 
-instance forall m . Show (GoldenResult' m) where
+instance Show (GoldenResult' m) where
   show GREqual = "GREqual"
   show (GRDifferent {}) = "GRDifferent"
   show (GRNoGolden {}) = "GRNoGolden"
diff --git a/tasty-silver.cabal b/tasty-silver.cabal
--- a/tasty-silver.cabal
+++ b/tasty-silver.cabal
@@ -1,5 +1,5 @@
 name:                tasty-silver
-version:             3.1.8
+version:             3.1.8.1
 synopsis:            A fancy test runner, including support for golden tests.
 description:
   This package provides a fancy test runner and support for «golden testing».