You're right. That's a bug.