Update CHANGELOG for #714.