a few tiny style fixes