diff --git a/racket/collects/racket/kernel/init.rkt b/racket/collects/racket/kernel/init.rkt
index d81f185a02..60499086f8 100644
--- a/racket/collects/racket/kernel/init.rkt
+++ b/racket/collects/racket/kernel/init.rkt
@@ -1,5 +1,5 @@
-#lang racket/kernel
-(#%require "../private/top-int.rkt")
+(module init '#%kernel
+  (#%require "../private/top-int.rkt")
 
-(#%provide (all-from racket/kernel) 
-           #%top-interaction)
+  (#%provide (all-from '#%kernel)
+             #%top-interaction))