diff --git a/collects/tests/typed-scheme/fail/apply-dots.ss b/collects/tests/typed-scheme/fail/apply-dots.ss
index d798f8c3..fd2b0313 100644
--- a/collects/tests/typed-scheme/fail/apply-dots.ss
+++ b/collects/tests/typed-scheme/fail/apply-dots.ss
@@ -10,4 +10,4 @@
           (apply (case-lambda: (([x : Number] . [y : Number ... a]) x)
                                (([x : String] [y : String] . [z : String *]) 0)
                                ([y : String *] 0))
-                 w))
\ No newline at end of file
+                 w))
diff --git a/collects/tests/typed-scheme/fail/cl-bug.ss b/collects/tests/typed-scheme/fail/cl-bug.ss
index 44300184..139d06ea 100644
--- a/collects/tests/typed-scheme/fail/cl-bug.ss
+++ b/collects/tests/typed-scheme/fail/cl-bug.ss
@@ -4,4 +4,4 @@
 (define (f3 x y) (+ x y))
 
 (: f2 (case-lambda (Number * -> Number)))
-(define (f2 x y) (+ x y))
\ No newline at end of file
+(define (f2 x y) (+ x y))
diff --git a/collects/tests/typed-scheme/fail/dotted-identity.ss b/collects/tests/typed-scheme/fail/dotted-identity.ss
index 543f46c3..c00f16b9 100644
--- a/collects/tests/typed-scheme/fail/dotted-identity.ss
+++ b/collects/tests/typed-scheme/fail/dotted-identity.ss
@@ -8,4 +8,4 @@
 (: g (All (b ...) ( -> (b ... b -> Integer))))
 (define (g) (lambda xs 0))
 
-(f (g))
\ No newline at end of file
+(f (g))
diff --git a/collects/tests/typed-scheme/fail/formal-len-mismatches.ss b/collects/tests/typed-scheme/fail/formal-len-mismatches.ss
index bd640a06..371e3e7b 100644
--- a/collects/tests/typed-scheme/fail/formal-len-mismatches.ss
+++ b/collects/tests/typed-scheme/fail/formal-len-mismatches.ss
@@ -14,4 +14,4 @@
 
 (: f3 (Integer Integer -> Integer))
 (define (f3 x . z)
-  (apply + #\c x z))
\ No newline at end of file
+  (apply + #\c x z))
diff --git a/collects/tests/typed-scheme/fail/nested-tvars.ss b/collects/tests/typed-scheme/fail/nested-tvars.ss
index 9a03b559..21438e59 100644
--- a/collects/tests/typed-scheme/fail/nested-tvars.ss
+++ b/collects/tests/typed-scheme/fail/nested-tvars.ss
@@ -6,4 +6,4 @@
  (define (g x y) y)
  (g "foo" (list "foo")))
 
-(f 3)
\ No newline at end of file
+(f 3)
diff --git a/collects/tests/typed-scheme/fail/unbound-type.ss b/collects/tests/typed-scheme/fail/unbound-type.ss
index 3ae769ab..6789d23d 100644
--- a/collects/tests/typed-scheme/fail/unbound-type.ss
+++ b/collects/tests/typed-scheme/fail/unbound-type.ss
@@ -6,4 +6,4 @@
 (: f (Foo -> String))
 (define (f x) (string-append x))
 
-(f 1)
\ No newline at end of file
+(f 1)
diff --git a/collects/tests/typed-scheme/succeed/cl-bug.ss b/collects/tests/typed-scheme/succeed/cl-bug.ss
index 09b9327f..c5de036e 100644
--- a/collects/tests/typed-scheme/succeed/cl-bug.ss
+++ b/collects/tests/typed-scheme/succeed/cl-bug.ss
@@ -4,4 +4,4 @@
 (define (f . x) (+ 1 2))
 
 (: f4 (case-lambda (Integer * -> Integer) (Number * -> Number)))
-(define (f4 . x) (apply + x))
\ No newline at end of file
+(define (f4 . x) (apply + x))
diff --git a/collects/tests/typed-scheme/succeed/dot-intro.ss b/collects/tests/typed-scheme/succeed/dot-intro.ss
index 72c1f684..50c87e35 100644
--- a/collects/tests/typed-scheme/succeed/dot-intro.ss
+++ b/collects/tests/typed-scheme/succeed/dot-intro.ss
@@ -13,4 +13,4 @@
   y)
 
 (plambda: (a ...) ([x : Number] . [y : Number ... a])
-  (map add1 y))
\ No newline at end of file
+  (map add1 y))
diff --git a/collects/tests/typed-scheme/succeed/fold-left-inst.ss b/collects/tests/typed-scheme/succeed/fold-left-inst.ss
index 100ecbba..d826c332 100644
--- a/collects/tests/typed-scheme/succeed/fold-left-inst.ss
+++ b/collects/tests/typed-scheme/succeed/fold-left-inst.ss
@@ -16,4 +16,4 @@
       c
       (apply f
              (apply (inst fold-left c a b ... b) f c (cdr as) (map cdr bss))
-             (car as) (map car bss))))
\ No newline at end of file
+             (car as) (map car bss))))
diff --git a/collects/tests/typed-scheme/succeed/fold-left.ss b/collects/tests/typed-scheme/succeed/fold-left.ss
index ca1364da..f2c9e4a3 100644
--- a/collects/tests/typed-scheme/succeed/fold-left.ss
+++ b/collects/tests/typed-scheme/succeed/fold-left.ss
@@ -38,4 +38,4 @@
  3 4 5)
 
 (fold-left  (lambda: ([a : (Listof Integer)] [c : Integer]) (cons c a)) null (list 3 4 5 6))
-(fold-right (lambda: ([a : (Listof Integer)] [c : Integer]) (cons c a)) null (list 3 4 5 6))
\ No newline at end of file
+(fold-right (lambda: ([a : (Listof Integer)] [c : Integer]) (cons c a)) null (list 3 4 5 6))
diff --git a/collects/tests/typed-scheme/succeed/foldo.scm b/collects/tests/typed-scheme/succeed/foldo.scm
index c8de9df6..fc10bc20 100644
--- a/collects/tests/typed-scheme/succeed/foldo.scm
+++ b/collects/tests/typed-scheme/succeed/foldo.scm
@@ -55,4 +55,4 @@
      '()
       root
       )) 
-  )
\ No newline at end of file
+  )
diff --git a/collects/tests/typed-scheme/succeed/hw01.scm b/collects/tests/typed-scheme/succeed/hw01.scm
index 617ecb59..2f829c07 100644
--- a/collects/tests/typed-scheme/succeed/hw01.scm
+++ b/collects/tests/typed-scheme/succeed/hw01.scm
@@ -108,4 +108,3 @@
   (= 0 (list-length '()))
   (= 2 (list-length '(1 2)))
   (= 3 (list-length '(1 2 (1 2 3 4))))
-  
\ No newline at end of file
diff --git a/collects/tests/typed-scheme/succeed/lots-o-bugs.ss b/collects/tests/typed-scheme/succeed/lots-o-bugs.ss
index 98e4711c..d268e482 100644
--- a/collects/tests/typed-scheme/succeed/lots-o-bugs.ss
+++ b/collects/tests/typed-scheme/succeed/lots-o-bugs.ss
@@ -18,4 +18,4 @@
 #;((plambda: (a ...) () (lambda: [ys : a ... a] 3)))
 
 #;((plambda: (a ...) [xs : a ... a] (lambda: [ys : a ... a] 3))
-   1 2 3 "foo")
\ No newline at end of file
+   1 2 3 "foo")
diff --git a/collects/tests/typed-scheme/succeed/nested-poly.ss b/collects/tests/typed-scheme/succeed/nested-poly.ss
index ac8bb3cd..a7de587f 100644
--- a/collects/tests/typed-scheme/succeed/nested-poly.ss
+++ b/collects/tests/typed-scheme/succeed/nested-poly.ss
@@ -17,4 +17,4 @@
                                  (apply f as))
                         fs))))
 
-(inst map-with-funcs Integer Integer Integer Integer)
\ No newline at end of file
+(inst map-with-funcs Integer Integer Integer Integer)
diff --git a/collects/tests/typed-scheme/succeed/poly-subtype.ss b/collects/tests/typed-scheme/succeed/poly-subtype.ss
index 39288d79..9e6ed052 100644
--- a/collects/tests/typed-scheme/succeed/poly-subtype.ss
+++ b/collects/tests/typed-scheme/succeed/poly-subtype.ss
@@ -17,4 +17,4 @@
 
 (define (g x) 3)
 
-|#
\ No newline at end of file
+|#
diff --git a/collects/tests/typed-scheme/succeed/star-sizes.ss b/collects/tests/typed-scheme/succeed/star-sizes.ss
index 6d04d748..b5995780 100644
--- a/collects/tests/typed-scheme/succeed/star-sizes.ss
+++ b/collects/tests/typed-scheme/succeed/star-sizes.ss
@@ -3,4 +3,4 @@
 (: f (All (a) ((Integer a * -> Integer) -> Integer)))
 (define (f g) 0)
 
-(f +)
\ No newline at end of file
+(f +)
diff --git a/collects/tests/typed-scheme/succeed/unholy-terror.ss b/collects/tests/typed-scheme/succeed/unholy-terror.ss
index 1abdcc3a..7fbf8c79 100644
--- a/collects/tests/typed-scheme/succeed/unholy-terror.ss
+++ b/collects/tests/typed-scheme/succeed/unholy-terror.ss
@@ -62,4 +62,4 @@
     (map (lambda: ([f : (a ... a -> b)])
            (apply f as))
          fs)))
-(map-with-funcs + - * /)
\ No newline at end of file
+(map-with-funcs + - * /)
diff --git a/collects/tests/typed-scheme/succeed/values-dots.ss b/collects/tests/typed-scheme/succeed/values-dots.ss
index 1c853f50..24e6bb1c 100644
--- a/collects/tests/typed-scheme/succeed/values-dots.ss
+++ b/collects/tests/typed-scheme/succeed/values-dots.ss
@@ -27,4 +27,4 @@
 (((inst map-with-funcs Integer Integer)
     (lambda: ([x : Integer] [y : Integer]) (+ x y))
     (lambda: ([x : Integer] [y : Integer]) (- x y)))
-   3 4)
\ No newline at end of file
+   3 4)
diff --git a/collects/tests/typed-scheme/succeed/with-handlers.ss b/collects/tests/typed-scheme/succeed/with-handlers.ss
index cfdb88ae..bfbb1a15 100644
--- a/collects/tests/typed-scheme/succeed/with-handlers.ss
+++ b/collects/tests/typed-scheme/succeed/with-handlers.ss
@@ -7,4 +7,4 @@
 (define: (is-happiness-a-warm-gun?) : Boolean
  (with-handlers ([integer? (lambda: ([x : Any]) #t)])
    (f 42)
-   #t))
\ No newline at end of file
+   #t))
diff --git a/collects/typed-scheme/infer/constraint-structs.ss b/collects/typed-scheme/infer/constraint-structs.ss
index d5c97034..ef2bccc2 100644
--- a/collects/typed-scheme/infer/constraint-structs.ss
+++ b/collects/typed-scheme/infer/constraint-structs.ss
@@ -48,4 +48,4 @@
                   (struct dcon-exact ([fixed (listof c?)] [rest c?]))
                   (struct dcon-dotted ([type c?] [bound symbol?]))
                   (struct dmap ([map (hashof symbol? (or/c dcon? dcon-exact? dcon-dotted?))]))
-                  (struct cset ([maps (listof (cons/c (hashof symbol? c?) dmap?))])))
\ No newline at end of file
+                  (struct cset ([maps (listof (cons/c (hashof symbol? c?) dmap?))])))
diff --git a/collects/typed-scheme/infer/dmap.ss b/collects/typed-scheme/infer/dmap.ss
index 95926680..92747bf4 100644
--- a/collects/typed-scheme/infer/dmap.ss
+++ b/collects/typed-scheme/infer/dmap.ss
@@ -63,4 +63,4 @@
 (define (dmap-meet dm1 dm2)
   (make-dmap
    (hash-union (dmap-map dm1) (dmap-map dm2)
-               (lambda (k dc1 dc2) (dcon-meet dc1 dc2)))))
\ No newline at end of file
+               (lambda (k dc1 dc2) (dcon-meet dc1 dc2)))))
diff --git a/collects/typed-scheme/infer/infer.ss b/collects/typed-scheme/infer/infer.ss
index 208943a3..b8c37883 100644
--- a/collects/typed-scheme/infer/infer.ss
+++ b/collects/typed-scheme/infer/infer.ss
@@ -9,4 +9,4 @@
 (provide-signature-elements restrict^ infer^)
 
 (define-values/link-units/infer
-  infer@ constraints@ dmap@ restrict@ promote-demote@)
\ No newline at end of file
+  infer@ constraints@ dmap@ restrict@ promote-demote@)
diff --git a/collects/typed-scheme/infer/restrict.ss b/collects/typed-scheme/infer/restrict.ss
index e1365605..4d2d2638 100644
--- a/collects/typed-scheme/infer/restrict.ss
+++ b/collects/typed-scheme/infer/restrict.ss
@@ -34,4 +34,4 @@
     [(subtype t2 t1) t2] ;; we don't actually want this - want something that's a part of t1
     [(not (overlap t1 t2)) (Un)] ;; there's no overlap, so the restriction is empty
     [else t2] ;; t2 and t1 have a complex relationship, so we punt
-    ))
\ No newline at end of file
+    ))
diff --git a/collects/typed-scheme/no-check.ss b/collects/typed-scheme/no-check.ss
index 470a7bed..bd104f61 100644
--- a/collects/typed-scheme/no-check.ss
+++ b/collects/typed-scheme/no-check.ss
@@ -2,4 +2,4 @@
 
 (require "private/prims.ss")
 (provide (all-from-out scheme/base)
-	 (all-from-out "private/prims.ss"))
\ No newline at end of file
+	 (all-from-out "private/prims.ss"))
diff --git a/collects/typed-scheme/private/env-lang.ss b/collects/typed-scheme/private/env-lang.ss
index 6fb99d02..c047e3a6 100644
--- a/collects/typed-scheme/private/env-lang.ss
+++ b/collects/typed-scheme/private/env-lang.ss
@@ -35,4 +35,4 @@
          (for-syntax
           (all-from-out scheme/base
                         "type-effect-convenience.ss"                        
-                        "union.ss")))
\ No newline at end of file
+                        "union.ss")))
diff --git a/collects/typed-scheme/private/extra-procs.ss b/collects/typed-scheme/private/extra-procs.ss
index b5cd5378..0c8152b1 100644
--- a/collects/typed-scheme/private/extra-procs.ss
+++ b/collects/typed-scheme/private/extra-procs.ss
@@ -18,4 +18,4 @@
 (define values* values)
 
 (define (foo x #:bar [bar #f])
-  bar)
\ No newline at end of file
+  bar)
diff --git a/collects/typed-scheme/private/type-annotation.ss b/collects/typed-scheme/private/type-annotation.ss
index 9ff2f8d0..3da58d45 100644
--- a/collects/typed-scheme/private/type-annotation.ss
+++ b/collects/typed-scheme/private/type-annotation.ss
@@ -131,4 +131,4 @@
 
 (define (dotted? stx)
   (cond [(syntax-property stx type-dotted-symbol) => syntax-e]
-        [else #f]))
\ No newline at end of file
+        [else #f]))
diff --git a/collects/typed-scheme/private/type-effect-convenience.ss b/collects/typed-scheme/private/type-effect-convenience.ss
index 49f21dd8..a3937b02 100644
--- a/collects/typed-scheme/private/type-effect-convenience.ss
+++ b/collects/typed-scheme/private/type-effect-convenience.ss
@@ -295,4 +295,4 @@
                  (make-Function (list (make-arr* (append args (take opt-args i)) result))))))
 
 (define-syntax-rule (->opt args ... [opt ...] res)
-  (opt-fn (list args ...) (list opt ...) res))
\ No newline at end of file
+  (opt-fn (list args ...) (list opt ...) res))
diff --git a/collects/typed-scheme/private/type-env-lang.ss b/collects/typed-scheme/private/type-env-lang.ss
index 314e258c..d12fc33c 100644
--- a/collects/typed-scheme/private/type-env-lang.ss
+++ b/collects/typed-scheme/private/type-env-lang.ss
@@ -38,4 +38,4 @@
           (all-from-out scheme/base
                         "type-effect-convenience.ss"
                         "../rep/type-rep.ss"
-                        "union.ss")))
\ No newline at end of file
+                        "union.ss")))
diff --git a/collects/typed-scheme/utils/utils.ss b/collects/typed-scheme/utils/utils.ss
index 6ca8a6a9..bfa0e505 100644
--- a/collects/typed-scheme/utils/utils.ss
+++ b/collects/typed-scheme/utils/utils.ss
@@ -221,4 +221,4 @@
 ;; Listof[A] Listof[B] B -> Listof[B]
 ;; pads out t to be as long as s
 (define (extend s t extra)
-  (append t (build-list (- (length s) (length t)) (lambda _ extra))))
\ No newline at end of file
+  (append t (build-list (- (length s) (length t)) (lambda _ extra))))
diff --git a/collects/typed/net/base64.ss b/collects/typed/net/base64.ss
index 13061e4e..07457945 100644
--- a/collects/typed/net/base64.ss
+++ b/collects/typed/net/base64.ss
@@ -10,4 +10,3 @@
   [base64-decode (Bytes -> Bytes)])
 
 (provide base64-encode-stream base64-decode-stream base64-encode base64-decode)
-  
\ No newline at end of file
diff --git a/collects/typed/net/cgi.ss b/collects/typed/net/cgi.ss
index 65aac77c..9318478a 100644
--- a/collects/typed/net/cgi.ss
+++ b/collects/typed/net/cgi.ss
@@ -26,4 +26,4 @@
 (provide
  (struct-out cgi-error)
  (struct-out incomplete-%-suffix)
- (struct-out invalid-%-suffix))
\ No newline at end of file
+ (struct-out invalid-%-suffix))
diff --git a/collects/typed/net/cookie.ss b/collects/typed/net/cookie.ss
index 391463b9..fd55ea08 100644
--- a/collects/typed/net/cookie.ss
+++ b/collects/typed/net/cookie.ss
@@ -20,4 +20,4 @@
 
 (require-typed-struct (cookie-error exn:fail) () net/cookie)
 
-(provide Cookie cookie? (struct-out cookie-error))
\ No newline at end of file
+(provide Cookie cookie? (struct-out cookie-error))
diff --git a/collects/typed/net/head.ss b/collects/typed/net/head.ss
index 958eea1e..ec6493dc 100644
--- a/collects/typed/net/head.ss
+++ b/collects/typed/net/head.ss
@@ -28,4 +28,4 @@
  standard-message-header
  data-lines->data
  extract-addresses
- assemble-address-field)
\ No newline at end of file
+ assemble-address-field)
diff --git a/collects/typed/net/imap.ss b/collects/typed/net/imap.ss
index a4639fad..4617b8db 100644
--- a/collects/typed/net/imap.ss
+++ b/collects/typed/net/imap.ss
@@ -52,4 +52,4 @@
 
 (provide
  imap-connection?
- IMAP-Connection)
\ No newline at end of file
+ IMAP-Connection)
diff --git a/collects/typed/net/pop3.ss b/collects/typed/net/pop3.ss
index ddc23237..03020a75 100644
--- a/collects/typed/net/pop3.ss
+++ b/collects/typed/net/pop3.ss
@@ -40,5 +40,3 @@
 (require-typed-struct/provide (malformed-server-response pop3) 
 			      ([communicator : communicator]) net/pop3) 
 
-
-  
\ No newline at end of file
diff --git a/collects/typed/net/qp.ss b/collects/typed/net/qp.ss
index 092ccdde..9d0344a2 100644
--- a/collects/typed/net/qp.ss
+++ b/collects/typed/net/qp.ss
@@ -7,4 +7,3 @@
   [qp-decode ( String -> String )]
   [qp-encode-stream (case-lambda (Input-Port Output-Port -> Void) (Input-Port Output-Port String -> Void) )]
   [qp-decode-stream ( Input-Port Output-Port -> Void )])
-  
\ No newline at end of file
diff --git a/collects/typed/net/sendmail.ss b/collects/typed/net/sendmail.ss
index 1dd748d8..8528dfba 100644
--- a/collects/typed/net/sendmail.ss
+++ b/collects/typed/net/sendmail.ss
@@ -9,4 +9,3 @@
    (String String (Listof String) (Listof String) (Listof String) (Listof String) String * -> Output-Port)])
   
 (provide send-mail-message/port send-mail-message #;no-mail-recipients)
-  
\ No newline at end of file
diff --git a/collects/typed/net/sendurl.ss b/collects/typed/net/sendurl.ss
index 205096db..2be923fc 100644
--- a/collects/typed/net/sendurl.ss
+++ b/collects/typed/net/sendurl.ss
@@ -6,4 +6,3 @@
 	       [external-browser  (-> (U Symbol #f (Pair String String)))])
 
 (provide send-url unix-browser-list browser-preference? external-browser)
-  
\ No newline at end of file
diff --git a/collects/typed/net/smtp.ss b/collects/typed/net/smtp.ss
index 4923a4b1..b36a7ab4 100644
--- a/collects/typed/net/smtp.ss
+++ b/collects/typed/net/smtp.ss
@@ -7,5 +7,3 @@
   [smtp-sending-end-of-message (Parameter (-> Any))])
   
 (provide smtp-send-message smtp-sending-end-of-message)
-  
-  
\ No newline at end of file
diff --git a/collects/typed/net/uri-codec.ss b/collects/typed/net/uri-codec.ss
index bfbc9911..64148772 100644
--- a/collects/typed/net/uri-codec.ss
+++ b/collects/typed/net/uri-codec.ss
@@ -12,4 +12,3 @@
   [alist->form-urlencoded ( (Listof (cons Symbol String)) -> String )]
   [form-urlencoded->alist ( String -> (Listof (cons Symbol String)) )]
   [current-alist-separator-mode (Parameter Symbol)])
-    
\ No newline at end of file