Small change to "ponderhit" handling