a few minor style fixes