Minor style fixes