bug-fix in the HashPartitioner