Fix documentation of return value of no()