Quarter tone accidental bug and temporary fix

All of this is not quite working as it should at the moment, I’m afraid. I would expect that it will be working much better in the first post-release update.