some minor coding style fixes.