Index: src/Output.cc
===================================================================
--- src/Output.cc	(revision 447)
+++ src/Output.cc	(working copy)
@@ -150,7 +150,7 @@
    if (!InputFile::echo_current_file())   return 0;
 
    Output::set_color_mode(Output::COLM_INPUT);
-   cout << (char)c;
+   cerr << (char)c;
    return 0;
 }
 //-----------------------------------------------------------------------------
Index: src/Input.cc
===================================================================
--- src/Input.cc	(revision 447)
+++ src/Input.cc	(working copy)
@@ -107,8 +107,9 @@
 {
    if (prompt)
       {
-        CIN << '\r' << *prompt << flush;
-        UTF8_string prompt_utf(*prompt);
+        UCS_string prompt_no_pad = prompt->no_pad();
+        CIN << '\r' << prompt_no_pad << flush;
+        UTF8_string prompt_utf(prompt_no_pad);
         loop(p, prompt_utf.size())
            {
              const int cc = prompt_utf[prompt_utf.size() - p - 1];