some minor coding style fixes