diff --git a/collects/typed-scheme/types/abbrev.rkt b/collects/typed-scheme/types/abbrev.rkt
index 7e41e0db3f..397f56c471 100644
--- a/collects/typed-scheme/types/abbrev.rkt
+++ b/collects/typed-scheme/types/abbrev.rkt
@@ -62,6 +62,7 @@
   (foldr -pair b l))
 
 (define (untuple t)
+  ;; FIXME - do we really need resolution here?
   (match (resolve t)
     [(Value: '()) null]
     [(Pair: a b) (cond [(untuple b) => (lambda (l) (cons a l))]
diff --git a/collects/typed-scheme/types/union.rkt b/collects/typed-scheme/types/union.rkt
index 35a81a51b2..4b2590111e 100644
--- a/collects/typed-scheme/types/union.rkt
+++ b/collects/typed-scheme/types/union.rkt
@@ -39,7 +39,8 @@
      (let ([types (remove-dups (sort (apply append (map flat args)) type<?))])
        (cond
          [(null? types) (make-union* null)]
-         [(null? (cdr types)) (car types)]           
+         [(null? (cdr types)) (car types)]   
+         ;; FIXME: this sort is unneccessary
          [else (make-union* (sort (foldr union2 '() (remove-subtypes types)) type<?))]))]))
 
 (define (u-maker args) (apply Un args))