minor coding style tweaks