Fix documentation comment