minor coding style tweaks.