Correct for style. No functionality change.