maybe suggest on the bug reporting page (wherever that is).
http://code.google.com/p/arduino/issues/list