Fix hefty1 hashing