Fix documentation mistake