Someone may know. Anyway, should I file a bug or are we happy with this?