Fix storage of hash code in trace file.