Little changes to coding style doc uncommited previously by error because I'm a git newbye, sorry.