Minor style correction.