Fix documentation bug.