...hm. you're right. that is annoying. a bug would be good.