diff --git a/collects/tests/typed-racket/succeed/basic-tests.rkt b/collects/tests/typed-racket/succeed/basic-tests.rkt
index f127a11b..02c1af3b 100644
--- a/collects/tests/typed-racket/succeed/basic-tests.rkt
+++ b/collects/tests/typed-racket/succeed/basic-tests.rkt
@@ -92,9 +92,9 @@
 
 (define: mymap : (All (a b) ((a -> b) (Listof a) -> (Listof b)))
   (plambda: (a b) ([f : (a -> b)] [l : (Listof a)])
-	    (cond [(null? l) '()]
-		  [else (cons (f (car l))
-			      (mymap f (cdr l)))])))
+    (cond [(null? l) '()]
+          [else (cons (f (car l))
+                      (mymap f (cdr l)))])))
 
 (mymap add1 (cons 1 (cons 2 (cons 3 #{'() :: (Listof number)}))))
 
diff --git a/collects/tests/typed-racket/succeed/leftist-heap.rkt b/collects/tests/typed-racket/succeed/leftist-heap.rkt
index 3dd6f1aa..6cea6c2b 100644
--- a/collects/tests/typed-racket/succeed/leftist-heap.rkt
+++ b/collects/tests/typed-racket/succeed/leftist-heap.rkt
@@ -207,7 +207,7 @@
 
   (define: list->heap : (All (a) (case-lambda (comparator (list-of a) -> (Heap a)) ((list-of a) -> (Heap a))))
     ; time: O(n)
-    (pcase-lambda:  (a)
+    (pcase-lambda: (a)
       [([l : (list-of a)])     (list->heap (current-compare) l)]
       [([cmp : comparator] [l : (list-of a)])
        (let* ([e  (#{empty @ a} cmp)]
diff --git a/collects/tests/typed-racket/succeed/little-schemer.rkt b/collects/tests/typed-racket/succeed/little-schemer.rkt
index a32d4919..087fa50f 100644
--- a/collects/tests/typed-racket/succeed/little-schemer.rkt
+++ b/collects/tests/typed-racket/succeed/little-schemer.rkt
@@ -357,9 +357,9 @@
 ;; FIXME
 (define: mymap : (All (a b) ((a -> b) (list-of a) -> (list-of b)))
   (plambda: (a b) ([f : (a -> b)] [l : (list-of a)])
-	    (cond [(null? l) '()]
-		  [else (cons (f (car l))
-			      (mymap f (cdr l)))])))
+    (cond [(null? l) '()]
+          [else (cons (f (car l))
+                      (mymap f (cdr l)))])))
 
 (mymap add1 (cons 1 (cons 2 (cons 3 '()))))
 
diff --git a/collects/tests/typed-racket/succeed/poly-tests.rkt b/collects/tests/typed-racket/succeed/poly-tests.rkt
index 6458bf98..c3d8212f 100644
--- a/collects/tests/typed-racket/succeed/poly-tests.rkt
+++ b/collects/tests/typed-racket/succeed/poly-tests.rkt
@@ -7,9 +7,9 @@
 #;(require "prims.rkt")
 (define: mymap : (All (a b) ((a -> b) (list-of a) -> (list-of b)))
   (plambda: (a b) ([f : (a -> b)] [l : (list-of a)])
-	    (cond [(null? l) '()]
-		  [else (cons (f (car l))
-			      (mymap f (cdr l)))])))
+    (cond [(null? l) '()]
+          [else (cons (f (car l))
+                      (mymap f (cdr l)))])))
 
 (pdefine: (a b) (mymap2 [f : (a -> b)] [l : (list-of a)]) : (list-of b)
 	  (cond [(null? l) '()]
diff --git a/collects/tests/typed-racket/succeed/priority-queue.scm b/collects/tests/typed-racket/succeed/priority-queue.scm
index 3e7b5639..054c06c9 100644
--- a/collects/tests/typed-racket/succeed/priority-queue.scm
+++ b/collects/tests/typed-racket/succeed/priority-queue.scm
@@ -54,9 +54,9 @@
 
 (define: empty : (All (a) (case-lambda (-> (priority-queue a)) (comparator -> (priority-queue a))))
   (pcase-lambda: (a)
-		 [()    (#{empty @ a} (current-compare))]
-		 [([cmp : comparator]) (make (#{heap:empty :: (case-lambda (-> (pqh a))
-									   (comparator -> (pqh a)))} cmp))]))
+    [() (#{empty @ a} (current-compare))]
+    [([cmp : comparator]) (make (#{heap:empty :: (case-lambda (-> (pqh a))
+                                                              (comparator -> (pqh a)))} cmp))]))
 
 (pdefine: (e r) (fold [f : ((cons number e) r -> r)] [b : r] [a : (priority-queue e)]) : r
 	  (heap:fold f b (#{heap :: ((priority-queue e) -> (pqh e))} a)))