Bug in Arduino 0017 IDE

Cool, when's 18 coming out then? :wink:

Mowcius