Minor updates to docs