Fix documentation bug