diff --git a/collects/eopl/main.ss b/collects/eopl/main.ss
index c4a355dadc..db1b4368d1 100644
--- a/collects/eopl/main.ss
+++ b/collects/eopl/main.ss
@@ -1,4 +1,4 @@
 #lang scheme/base
 
-(require "eopl.ss")
-(provide (all-from-out "eopl.ss"))
+(require "eopl.ss") ; provides `provide'
+(provide (all-from "eopl.ss"))