Just some minor coding style fixes