Fix documentation on cardinalityof