Ah. Please file a bug, and I'll look into it later.