fixed a bug in dB-hash: occurrences after position 2^31 were not found