small edits to docs