server: Minor style fixes