diff --git a/collects/typed-scheme/types/printer.ss b/collects/typed-scheme/types/printer.ss
index fee5aa45..5aa5fcc4 100644
--- a/collects/typed-scheme/types/printer.ss
+++ b/collects/typed-scheme/types/printer.ss
@@ -89,7 +89,15 @@
          (fp "~a* " rest))
        (when drest
          (fp "~a ... ~a " (car drest) (cdr drest)))
-       (fp "-> ~a" rng)
+       (match rng
+         [(Values: (list (Result: t (LFilterSet: (list) (list)) (LEmpty:))))
+          (fp "-> ~a" t)]
+         [(Values: (list (Result: t fs (LEmpty:)))) 
+          (fp "-> ~a : ~a" t fs)]
+         [(Values: (list (Result: t lf lo)))
+          (fp "-> ~a : ~a ~a" t lf lo)]
+         [_
+          (fp "-> ~a" rng)])
        (fp ")")]))
   (define (tuple? t)
     (match t