Mention bug-fixes below in CHANGES.html.