Minor documentation fix