a few style fixes