Ah, weird! It sounds like a bug indeed.