* update CHANGES for pull request #255