style and changelog for #525