Minor style clean-up.