diff --git a/THANKS b/THANKS
index dee53da2e..dc9b8da31 100644
--- a/THANKS
+++ b/THANKS
@@ -14,6 +14,7 @@ Contributors since the last release:
 For fixes or providing information which led to a fix:
 
      Lauri Alanko
+     Diego Dainese
       Mark Galassi
       Greg Harvey
        Jon Hellan 	
diff --git a/libguile/ChangeLog b/libguile/ChangeLog
index 48eaff30c..19f2ca09f 100644
--- a/libguile/ChangeLog
+++ b/libguile/ChangeLog
@@ -1,3 +1,9 @@
+2000-04-18  Mikael Djurfeldt  <mdj@mdj.nada.kth.se>
+
+	* script.c (scm_compile_shell_switches): Also enable
+	record-positions when given the --debug option.  (Thanks to Diego
+	Dainese.)
+
 2000-04-18  Dirk Herrmann  <D.Herrmann@tu-bs.de>
 
 	* print.c (ENTER_NESTED_DATA, print_circref, scm_iprlist):