some minor style fixes