bugfix for Hash on 32 bits