Forgot to modify CHANGES again, and removed some more debugging code we don't need anymore (and didn't want to have in a release in the first place...)