minor coding style fixes