diff --git a/ice-9/ChangeLog b/ice-9/ChangeLog
index 3178cffca..85d9c062e 100644
--- a/ice-9/ChangeLog
+++ b/ice-9/ChangeLog
@@ -1,3 +1,7 @@
+1998-07-15  Mikael Djurfeldt  <mdj@barbara.nada.kth.se>
+
+	* boot-9.scm: Renamed module `(guile-repl)' --> `(guile-user)'.
+
 1998-07-14  Mikael Djurfeldt  <mdj@mdj.nada.kth.se>
 
 	* boot-9.scm: Let the user start in module `(guile-repl)' instead
diff --git a/ice-9/boot-9.scm b/ice-9/boot-9.scm
index b40c320e0..c560877cd 100644
--- a/ice-9/boot-9.scm
+++ b/ice-9/boot-9.scm
@@ -2916,7 +2916,7 @@
 	 (isatty? (current-input-port)))
     (begin
       (define-module (guile) :use-module (ice-9 readline))
-      (define-module (guile-repl) :use-module (ice-9 readline))))
+      (define-module (guile-user) :use-module (ice-9 readline))))
 
 
 ;;; {Load debug extension code into user module if debug extensions present.}
@@ -2925,7 +2925,7 @@
 ;;;
 
 (if (memq 'debug-extensions *features*)
-    (define-module (guile-repl) :use-module (ice-9 debug)))
+    (define-module (guile-user) :use-module (ice-9 debug)))
 
 
 ;;; {Load session support into user module if present.}
@@ -2934,7 +2934,7 @@
 ;;;
 
 (if (%search-load-path "ice-9/session.scm")
-    (define-module (guile-repl) :use-module (ice-9 session)))
+    (define-module (guile-user) :use-module (ice-9 session)))
 
 ;;; {Load thread code into user module if threads are present.}
 ;;;
@@ -2942,7 +2942,7 @@
 ;;;
 
 (if (memq 'threads *features*)
-    (define-module (guile-repl) :use-module (ice-9 threads)))
+    (define-module (guile-user) :use-module (ice-9 threads)))
 
 
 ;;; {Load emacs interface support if emacs option is given.}
@@ -2955,13 +2955,13 @@
     (begin
       (if (memq 'debug-extensions *features*)
 	  (debug-enable 'backtrace))
-      (define-module (guile-repl) :use-module (ice-9 emacs))))
+      (define-module (guile-user) :use-module (ice-9 emacs))))
 
 
 ;;; {Load regexp code if regexp primitives are available.}
 
 (if (memq 'regex *features*)
-    (define-module (guile-repl) :use-module (ice-9 regex)))
+    (define-module (guile-user) :use-module (ice-9 regex)))
 
 
 (define-module (guile))
@@ -2992,4 +2992,4 @@
 
 
 
-(define-module (guile-repl))
+(define-module (guile-user))