Minor updates to documentation