Minor documentation adjustment