Update CHANGES for recent pull requests we forgot to add.