diff --git a/collects/lang/htdp-advanced.rkt b/collects/lang/htdp-advanced.rkt
index dfa6406199..2c8bf12fcd 100644
--- a/collects/lang/htdp-advanced.rkt
+++ b/collects/lang/htdp-advanced.rkt
@@ -60,7 +60,7 @@
 	   empty true false
 
 	   contract : -> mixed one-of predicate combined
-	   Number Real Rational Integer Natural Boolean True False String Char Empty-list 
+	   Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list 
 	   property)
 
   ;; procedures:
diff --git a/collects/lang/htdp-beginner-abbr.rkt b/collects/lang/htdp-beginner-abbr.rkt
index 916f54a903..b17e6dc791 100644
--- a/collects/lang/htdp-beginner-abbr.rkt
+++ b/collects/lang/htdp-beginner-abbr.rkt
@@ -44,7 +44,7 @@
 	   empty true false
 
 	   contract : -> mixed one-of predicate combined
-	   Number Real Rational Integer Natural Boolean True False String Char Empty-list
+	   Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
 	   property)
 
   ;; procedures:
diff --git a/collects/lang/htdp-beginner.rkt b/collects/lang/htdp-beginner.rkt
index 32280ade34..d9306622fe 100644
--- a/collects/lang/htdp-beginner.rkt
+++ b/collects/lang/htdp-beginner.rkt
@@ -45,7 +45,7 @@
 	   empty true false
 
 	   contract : -> mixed one-of predicate combined
-	   Number Real Rational Integer Natural Boolean True False String Char Empty-list
+	   Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
 	   property)
 
   (require (for-syntax "private/firstorder.ss"))
diff --git a/collects/lang/htdp-intermediate-lambda.rkt b/collects/lang/htdp-intermediate-lambda.rkt
index 284fbac2df..6cc431ee3a 100644
--- a/collects/lang/htdp-intermediate-lambda.rkt
+++ b/collects/lang/htdp-intermediate-lambda.rkt
@@ -48,7 +48,7 @@
 	   empty true false
 
 	   contract : -> mixed one-of predicate combined
-	   Number Real Rational Integer Natural Boolean True False String Char Empty-list
+	   Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
 	   property)
 
   ;; procedures:
diff --git a/collects/lang/htdp-intermediate.rkt b/collects/lang/htdp-intermediate.rkt
index 25bf3c48b4..9e0025f20e 100644
--- a/collects/lang/htdp-intermediate.rkt
+++ b/collects/lang/htdp-intermediate.rkt
@@ -48,7 +48,7 @@
 	   empty true false
 
 	   contract : -> mixed one-of predicate combined
-	   Number Real Rational Integer Natural Boolean True False String Char Empty-list
+	   Number Real Rational Integer Natural Boolean True False String Symbol Char Empty-list
 	   property)
 
   ;; procedures: