Heh, so it seems. It's probably a bug, but also probably nobody cares in practice.