Skip to content
Minor updates in the documentation.