Fixed (I hope) an intermittent bug in hash_cons (intern) processing.
Authored by: dwarren 2013-11-12
Parent: [r7841]
Child: [r7843]
