[Python-Dev] Re: REPL output bug