Very minor style fixes