diff --git a/lib/chibi/type-inference.scm b/lib/chibi/type-inference.scm
index c5931111..bfeb7a25 100644
--- a/lib/chibi/type-inference.scm
+++ b/lib/chibi/type-inference.scm
@@ -148,7 +148,7 @@
                                (not (type-subset? t p-type)))
                           (display "WARNING: incompatible type: "
                                    (current-error-port))
-                          (write (list x t p-type) (current-error-port))
+                          (write/ss (list x t p-type) (current-error-port))
                           (newline (current-error-port))))
                         t))))
                   (lp (and (pair? p) (cdr p)) (cdr a)))
diff --git a/lib/chibi/type-inference.sld b/lib/chibi/type-inference.sld
index 3220d8d6..c5ace0d0 100644
--- a/lib/chibi/type-inference.sld
+++ b/lib/chibi/type-inference.sld
@@ -1,6 +1,7 @@
 
 (define-library (chibi type-inference)
   (export type-analyze-module type-analyze procedure-signature)
-  (import (scheme) (srfi 1) (srfi 69) (chibi modules) (chibi ast) (chibi match))
+  (import (scheme) (srfi 1) (srfi 38) (srfi 69)
+          (chibi modules) (chibi ast) (chibi match))
   (include "type-inference.scm"))