minor update in docs