Minor style modifications.