minor update in doc