minor update to the documentation