Bug in Arduino IDE 1.0