Minor edits to Doc