some simple style fixes