Minor style fixes. No functionality change.