Small fixes to coding styleguide