Fixed bug in hashconsing.