Bug in HASH-OCTETS.