Update CHANGES.txt with fix for issue #832