minor update in the documentation