Minor edits of doc