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 e503bb15..82f6f91f 100644
--- a/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss
+++ b/collects/tests/typed-scheme/unit-tests/parse-type-tests.ss
@@ -96,7 +96,7 @@
    [#t (-val #t)]
    [#f (-val #f)]
    ["foo" (-val "foo")]
-   ['(1 2 3) (-val '(1 2 3))]
+   ['(1 2 3) (-Tuple (map -val '(1 2 3)))]
    
    [(Listof Number) (make-Listof  N)]
    
diff --git a/collects/typed-scheme/private/parse-type.ss b/collects/typed-scheme/private/parse-type.ss
index a136d998..ffc9a56c 100644
--- a/collects/typed-scheme/private/parse-type.ss
+++ b/collects/typed-scheme/private/parse-type.ss
@@ -213,6 +213,9 @@
      [((~and kw t:U) ts ...)
       (add-type-name-reference #'kw)
       (apply Un (map parse-type (syntax->list #'(ts ...))))]
+     [((~and kw quote) (t1 . t2))
+      (add-type-name-reference #'kw)
+      (-pair (parse-type #'(quote t1)) (parse-type #'(quote t2)))]
      [((~and kw quote) t)
       (add-type-name-reference #'kw)
       (-val (syntax->datum #'t))]