diff --git a/collects/stepper/internal-docs.txt b/collects/stepper/internal-docs.txt
index 9d6633c21d..f47d9be621 100644
--- a/collects/stepper/internal-docs.txt
+++ b/collects/stepper/internal-docs.txt
@@ -1,6 +1,3 @@
-;; The first three lines of this file were inserted by DrScheme. They record metadata
-;; about the language level of this file in a form that our tools can easily process.
-#reader(lib "htdp-intermediate-reader.ss" "lang")((modname internal-docs) (read-case-sensitive #t) (teachpacks ((lib "testing.ss" "teachpack" "htdp") (lib "world.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ((lib "testing.ss" "teachpack" "htdp") (lib "world.ss" "teachpack" "htdp")))))
 This file summarizes certain aspects of the operation of the stepper.
 
 The Stepper's use of syntax-property: