Minor documentation added