just some coding style fixes