diff --git a/htdp-lib/htdp/bsl/runtime.rkt b/htdp-lib/htdp/bsl/runtime.rkt
index d31a86cb..2e945eae 100644
--- a/htdp-lib/htdp/bsl/runtime.rkt
+++ b/htdp-lib/htdp/bsl/runtime.rkt
@@ -86,10 +86,11 @@
      (and (sl-runtime-settings-use-function-output-syntax? settings)
           (procedure? x)
           (object-name x))))
+  ;; The ISL case -- sl-runtime-settings-output-function-instead-of-lambda? --
+  ;; is already covered by the current-print-convert-hook above.
   (named/undefined-handler
    (lambda (x)
-     (string->symbol
-      (format "function:~a" (object-name x)))))
+     (object-name x)))
 
   ; sharing done by print-convert
   (show-sharing (sl-runtime-settings-show-sharing? settings))
diff --git a/htdp-lib/lang/htdp-langs.rkt b/htdp-lib/lang/htdp-langs.rkt
index aec0c43a..6e2fcbac 100644
--- a/htdp-lib/lang/htdp-langs.rkt
+++ b/htdp-lib/lang/htdp-langs.rkt
@@ -1022,6 +1022,7 @@
          (language-numbers '(-500 -500 5))
          (sharing-printing #t)
          (abbreviate-cons-as-list #t)
+         (use-function-output-syntax? #t)
          (allow-sharing? #t)
          (reader-module '(lib "htdp-advanced-reader.ss" "lang"))
          (debugger:supported #t)
@@ -1051,6 +1052,7 @@
          (language-numbers '(-500 -500 4))
          (sharing-printing #f)
          (abbreviate-cons-as-list #t)
+         (use-function-output-syntax? #t)
          (allow-sharing? #f)
          (reader-module '(lib "htdp-intermediate-lambda-reader.ss" "lang"))
          (stepper:supported #t)
diff --git a/htdp-lib/lang/private/teach-module-begin.rkt b/htdp-lib/lang/private/teach-module-begin.rkt
index 4f6fc4ac..ab2866f3 100644
--- a/htdp-lib/lang/private/teach-module-begin.rkt
+++ b/htdp-lib/lang/private/teach-module-begin.rkt
@@ -184,11 +184,14 @@
                         output-function-instead-of-lambda))
      (mk-module-begin '(abbreviate-cons-as-list
                         read-accept-quasiquote
+                        use-function-output-syntax
                         output-function-instead-of-lambda))
      (mk-module-begin '(abbreviate-cons-as-list
-                        read-accept-quasiquote))
+                        read-accept-quasiquote
+                        use-function-output-syntax))
      (mk-module-begin '(abbreviate-cons-as-list
                         read-accept-quasiquote
+                        use-function-output-syntax
                         show-sharing))
 
      ;; module-continue