Tweak titles for consistency
Try flushing stdout to see if that fixes the problem after the repl is done.