Serial monitor: bug in Arduino 1.0.1

No problem also for me, on Linux Debian.