Minor updates to documentation.