Fix documentation warning