More small edits to docs