diff --git a/collects/tests/typed-scheme/succeed/little-schemer.ss b/collects/tests/typed-scheme/succeed/little-schemer.ss
index 2233e8d2..ea7bd5e5 100644
--- a/collects/tests/typed-scheme/succeed/little-schemer.ss
+++ b/collects/tests/typed-scheme/succeed/little-schemer.ss
@@ -17,10 +17,11 @@
 (define-syntax (cond* stx)
   (syntax-case stx (else)
     [(_ [pred expr id rhs] . rest)
-     #'(let ([id expr])
-         (if (pred id) 
-             rhs
-             (cond . rest)))]
+     (quasisyntax/loc stx
+         (let ([id expr])
+           (if (pred id) 
+               rhs
+               #,(syntax/loc #'rest (cond . rest)))))]
     [(_ [else . rest]) #'(begin . rest)]
     [(_ [p . rhs] . rest)
      #'(if p (begin . rhs)
diff --git a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss b/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss
index 0c6de815..b55ba900 100644
--- a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss
@@ -100,6 +100,8 @@
    [(All (a ...) (a ... -> Number))
     (-polydots (a) ((list) [a a] . ->... . N))]
    
+   [(Any -> Boolean : Number) (make-pred-ty -Number)]
+   
    ))
 
 ;; FIXME - add tests for parse-values-type, parse-tc-results