minor edits of docs