diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd
index 6dbe502..a887ce8 100644
--- a/pollen/private/ts.rktd
+++ b/pollen/private/ts.rktd
@@ -1 +1 @@
-1537996006
+1540858349
diff --git a/pollen/top.rkt b/pollen/top.rkt
index 14ea5c3..cc703a6 100644
--- a/pollen/top.rkt
+++ b/pollen/top.rkt
@@ -2,19 +2,10 @@
 (require (for-syntax racket/base) pollen/tag)
 (provide def/c (rename-out (top~ #%top)))
 
-;; Changes the default behavior of #%top.
-;; Unbound identifiers are allowed, and treated as the 
-;; tag in a txexpr (with the rest of the expression treated as the body)
-;; To suppress this behavior, use def/c to wrap any name.
-;; If that name isn't already defined, you'll get the usual syntax error.
-
 (define-syntax-rule (top~ . ID)
-  ;; #%app shouldn't be necessary, but temp fix for Racket7
   (#%app make-default-tag-function 'ID))
 
 (define-syntax (def/c stx)
   (syntax-case stx ()
-    [(_ X)
-     (if (identifier-binding #'X )
-         #'X
-         #'(#%top . X))]))
\ No newline at end of file
+    [(_ X) (identifier-binding #'X) #'X]
+    [(_ X) #'(#%top . X)]))
\ No newline at end of file