We encountered such a bug while developing our game.