Made some minor changes in the documentation.