SCARD: return 0 for empty set
Merge branch 'master' into develop