Document bug fix in CHANGES.