diff --git a/ice-9/boot-9.scm b/ice-9/boot-9.scm
index cc2104667..092d1f4d8 100644
--- a/ice-9/boot-9.scm
+++ b/ice-9/boot-9.scm
@@ -3277,6 +3277,7 @@
     (module-use! guile-user-module (resolve-interface '(ice-9 session)))
     (module-use! guile-user-module (resolve-interface '(ice-9 debug)))
     ;; so that builtin bindings will be checked first
+    (module-use! guile-user-module (resolve-interface '(ice-9 r5rs)))
     (module-use! guile-user-module (resolve-interface '(guile)))
 
     (set-current-module guile-user-module)