Some minor style fixes