diff --git a/collects/lang/private/advanced-funs.rkt b/collects/lang/private/advanced-funs.rkt
index 370f384e94..193ab71c0c 100644
--- a/collects/lang/private/advanced-funs.rkt
+++ b/collects/lang/private/advanced-funs.rkt
@@ -12,9 +12,6 @@
 (require "provide-and-scribble.rkt" scribble/manual)
 
 (define pp (let ([pretty-print (lambda (v) (pretty-write v))]) pretty-print))
-  
-;; somehow null got lost during the scribblization 
-(provide null)
 
 (provide-and-scribble
    procedures
diff --git a/collects/lang/private/beginner-funs.rkt b/collects/lang/private/beginner-funs.rkt
index 24c5b3c1fb..c18297f06e 100644
--- a/collects/lang/private/beginner-funs.rkt
+++ b/collects/lang/private/beginner-funs.rkt
@@ -166,6 +166,7 @@
   @defproc[(cons? [x any/c]) boolean?]{Determines whether some value is a constructed list.}
   @defproc[(empty? [x any/c]) boolean?]{Determines whether some value is the empty list.}
   @defproc[(null? [x any/c]) boolean?]{Determines whether some value is the empty list.}
+  @defproc[(null) list]{Another name for the empty list}
   @defproc[((beginner-cons cons) [x any/x][y list?]) list?]{Constructs a list.}
   @defproc[((beginner-first first) [x cons?]) any/c]{Selects the first item of a non-empty list.}
   @defproc[((beginner-car car) [x cons?]) any/c]{Selects the first item of a non-empty list.}