minor modification to make CHANGES.md look nice