diff --git a/collects/tests/typed-scheme/succeed/barland.ss b/collects/tests/typed-scheme/succeed/barland.ss
index 52e41e04..6658888c 100644
--- a/collects/tests/typed-scheme/succeed/barland.ss
+++ b/collects/tests/typed-scheme/succeed/barland.ss
@@ -6,7 +6,7 @@
 
 (define: (element-of? [elt : top] [s : set]) : top (s elt))
 
-(define: (evens [elt : top]) : top (and (number? elt) (even? elt)))
+(define: (evens [elt : top]) : top (and (integer? elt) (even? elt)))
 
 (define-typed-struct pr ([fst : top] [snd : top]))
 
diff --git a/collects/tests/typed-scheme/succeed/little-schemer.ss b/collects/tests/typed-scheme/succeed/little-schemer.ss
index 95b19e8b..72725185 100644
--- a/collects/tests/typed-scheme/succeed/little-schemer.ss
+++ b/collects/tests/typed-scheme/succeed/little-schemer.ss
@@ -334,9 +334,10 @@
        (build (second (first pair))
 	      (second pair))))
 
+;; changed to test for integer? before even? check.
 (define: (collatz [n : number]) : number
   (cond [(one? n) 1]
-	[(even? n) (collatz (/ n 2))]
+	[(and (integer? n) (even? n)) (collatz (/ n 2))]
 	[else (collatz (add1 (* 3 n)))]))
 
 
diff --git a/collects/tests/typed-scheme/succeed/struct-out.ss b/collects/tests/typed-scheme/succeed/struct-out.ss
new file mode 100644
index 00000000..eff477ad
--- /dev/null
+++ b/collects/tests/typed-scheme/succeed/struct-out.ss
@@ -0,0 +1,3 @@
+#lang typed-scheme
+(require-typed-struct posn ([x : Number] [y : Number]) lang/posn)
+(provide (struct-out posn))