diff --git a/racket/lib/collects/pkg/strip.rkt b/racket/lib/collects/pkg/strip.rkt
index b24f84706a..1e57518ba4 100644
--- a/racket/lib/collects/pkg/strip.rkt
+++ b/racket/lib/collects/pkg/strip.rkt
@@ -197,8 +197,8 @@
     ;; convert:
     (define new-content
       (match content
-        [`(module info info (#%module-begin . ,defns))
-         `(module info info
+        [`(module info ,info-lib (#%module-begin . ,defns))
+         `(module info ,info-lib
             (#%module-begin
              (define assume-virtual-sources '())
              . ,(filter values