diff --git a/examples/gfcc/ResImper.gf b/examples/gfcc/ResImper.gf
index c3651ae82..57cdf9434 100644
--- a/examples/gfcc/ResImper.gf
+++ b/examples/gfcc/ResImper.gf
@@ -12,7 +12,7 @@ resource ResImper = open Predef in {
       {s = f ; p = p ; a = a} ;
 
     usePrec : PrecExp -> Prec -> Str = \x,p ->
-      case <x.p,p> of {
+      case <<x.p,p> : Prec * Prec> of {
         <3,4> | <2,3> | <2,4> => paren x.s ;
         <1,1> | <1,0> | <0,0> => x.s ;
         <1,_> | <0,_>         => paren x.s ;
diff --git a/src/GF/UseGrammar/Parsing.hs b/src/GF/UseGrammar/Parsing.hs
index cee11cbe1..82e9297a6 100644
--- a/src/GF/UseGrammar/Parsing.hs
+++ b/src/GF/UseGrammar/Parsing.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/05/09 09:28:46 $ 
--- > CVS $Author: peb $
--- > CVS $Revision: 1.21 $
+-- > CVS $Date: 2005/05/10 14:16:59 $ 
+-- > CVS $Author: aarne $
+-- > CVS $Revision: 1.22 $
 --
 -- (Description of the module)
 -----------------------------------------------------------------------------
@@ -103,7 +103,7 @@ trees2trms opts sg cn as ts0 info = do
       let num = optIntOrN opts flagRawtrees 99999
       let (ts01,rest) = splitAt num ts0
       if null rest then return () 
-         else checkWarn ("Warning: only" +++ show num +++ "raw parses out of" +++ 
+         else raise ("Warning: only" +++ show num +++ "raw parses out of" +++ 
                           show (length ts0) +++ 
                           "considered; use -rawtrees=<Int> to see more"
                      )