Minor documentation fixed