Fix bugs in Hashable