Minor documentation fix;