Minor updates to our documentation.