If this is really the case then it is a bug. :-/ I'll see if I can reproduce this.