Minor updates in the documentation.