Minor coding style tweaks