Minor style changes in the documentation.