Minor style modifications