diff --git a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr
index 85b988a65328965b7b7e9075dc77c7a73cbd7c5d..84e08620560b83fc6e945221b5b4121f058d680c 100644
--- a/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr
+++ b/testsuite/tests/typecheck/should_fail/TcStaticPointersFail02.stderr
@@ -1,12 +1,12 @@
 
-TcStaticPointersFail02.hs:9:6:
+TcStaticPointersFail02.hs:9:6: error:
     No instance for (Typeable b) arising from a static form
     In the expression: static (undefined :: (forall a. a -> a) -> b)
     In an equation for ‘f1’:
         f1 = static (undefined :: (forall a. a -> a) -> b)
 
-TcStaticPointersFail02.hs:12:6:
-    No instance for (Typeable m)
+TcStaticPointersFail02.hs:12:6: error:
+    No instance for (Typeable (Monad m => a -> m a))
       (maybe you haven't applied a function to enough arguments?)
       arising from a static form
     In the expression: static return