Aha, yes, that would explain why it hasn't been spotted before (if it even is a bug).