ChangeLog entry for fix of bug 3931
Fix coding style