Upon reconsideration I now agree that this is not a bug.
Sorry for the noise,
Andrey Paramonov