doc minor edit