minor edits to doc