Minor updates to the documentation.