Small edits in the documentation.