fix minor coding style mistakes