Please file a bug report, if you haven't done so.