Typo fix.
A style change.