diff --git a/collects/setup/winvers.rkt b/collects/setup/winvers.rkt
index f4070ec2de..45451b29b5 100644
--- a/collects/setup/winvers.rkt
+++ b/collects/setup/winvers.rkt
@@ -47,4 +47,5 @@
          (delete-directory/files
           (build-path (find-system-path 'temp-dir) "setvers"))
          (printf "done!\n")]
-        [else (error 'winvers "unknown command line: ~e" argv)]))
+        [else (error 'winvers "unknown command line: ~e" argv)])
+  (void))