fixed de-serialization of HOLE; improved equality check on HOLE