minor edit on doc