Minor fixes to CHANGELOG and API-CHANGES related to 0.12.3.