diff -r 620d23f7ad41 Misc/ACKS
--- a/Misc/ACKS	Sun Sep 23 19:55:21 2012 +0200
+++ b/Misc/ACKS	Sun Sep 23 20:25:23 2012 -0500
@@ -15,6 +15,7 @@
 Michael Abbott
 David Abrahams
 Ron Adam
+Matt Adams
 Jim Ahlstrom
 Farhan Ahmad
 Matthew Ahrens
@@ -263,6 +264,7 @@
 Yves Dionne
 Daniel Dittmar
 Jaromir Dolecek
+Michael Domingues
 Ismail Donmez
 Robert Donohue
 Marcos Donolo
diff -r 620d23f7ad41 Parser/myreadline.c
--- a/Parser/myreadline.c	Sun Sep 23 19:55:21 2012 +0200
+++ b/Parser/myreadline.c	Sun Sep 23 20:25:23 2012 -0500
@@ -115,8 +115,8 @@
         return NULL;
     fflush(sys_stdout);
     if (prompt)
-        fprintf(stderr, "%s", prompt);
-    fflush(stderr);
+        fprintf(stdout, "%s", prompt);
+    fflush(stdout);
     switch (my_fgets(p, (int)n, sys_stdin)) {
     case 0: /* Normal case */
         break;