A restart did fix this, but it has happened again a few days later, to more than one player.