Coding style tweaks