fixed bug in bitset-uint/pshort intersection