diff --git a/collects/parser-tools/private-yacc/table.ss b/collects/parser-tools/private-yacc/table.ss
index dde2864..be96a2a 100644
--- a/collects/parser-tools/private-yacc/table.ss
+++ b/collects/parser-tools/private-yacc/table.ss
@@ -114,6 +114,7 @@
              (let ((sym (gram-sym-symbol (car gs/action)))
                    (act (cdr gs/action)))
               (cond
+                ((null? act) (void))
                 ((null? (cdr act))
                  (print-entry sym (car act) port))
                 (else
diff --git a/collects/parser-tools/private-yacc/yacc-helper.ss b/collects/parser-tools/private-yacc/yacc-helper.ss
index d4a9823..4ffc007 100644
--- a/collects/parser-tools/private-yacc/yacc-helper.ss
+++ b/collects/parser-tools/private-yacc/yacc-helper.ss
@@ -64,7 +64,7 @@
   (define (display-yacc grammar tokens start precs port)
     (let-syntax ((p (syntax-rules ()
                       ((_ args ...) (fprintf port args ...)))))
-      (let* ((tokens (map syntax-local-value (syntax->list tokens)))
+      (let* ((tokens (map syntax-local-value tokens))
              (eterms (filter e-terminals-def? tokens))
              (terms (filter terminals-def? tokens))
              (term-table (make-hash-table))