diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index 3c47597209..c20c6947da 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -868,6 +868,7 @@
     line-end-position
     line-start-position
     line-location
+    position-locations
     position-location
     position-line
     set-between-threshold
diff --git a/src/mred/wxs/khead.ss b/src/mred/wxs/khead.ss
index b4b48a92c7..6c0171f61b 100644
--- a/src/mred/wxs/khead.ss
+++ b/src/mred/wxs/khead.ss
@@ -9,11 +9,11 @@
   ;;  the library compiles with setup-plt in mzscheme.
   
   (define kernel:initialize-primitive-object
-    (dynamic-require '#%mred-kernel 'initialize-primitive-object))
+    (dynamic-require ''#%mred-kernel 'initialize-primitive-object))
   (define kernel:primitive-class-find-method
-    (dynamic-require '#%mred-kernel 'primitive-class-find-method))
+    (dynamic-require ''#%mred-kernel 'primitive-class-find-method))
   (define kernel:primitive-class-prepare-struct-type!
-    (dynamic-require '#%mred-kernel 'primitive-class-prepare-struct-type!))
+    (dynamic-require ''#%mred-kernel 'primitive-class-prepare-struct-type!))
 
   (define-syntax define-constant
     (lambda (stx)
@@ -28,7 +28,7 @@
 				     #f)])
 	   (syntax
 	    (begin
-	      (define kernel:name (dynamic-require '#%mred-kernel 'name))
+	      (define kernel:name (dynamic-require ''#%mred-kernel 'name))
 	      (provide (protect (rename kernel:name name))))))])))
 
   (define-syntax define-function
@@ -76,7 +76,7 @@
 		 (with-syntax ([(old ...) (datum->syntax-object #f old #f)]
 			       [(new ...) (datum->syntax-object #f new #f)])
 		   (syntax
-		    (define name (let ([c (dynamic-require '#%mred-kernel 'name)])
+		    (define name (let ([c (dynamic-require ''#%mred-kernel 'name)])
 				   (make-primitive-class
 				    (lambda (class prop:object preparer dispatcher)
 				      (kernel:primitive-class-prepare-struct-type!