Hrm, I just noticed this: is this intended?