small fixes to code style