Minor updates to the documentation