Fix extract_ponder_from_tt()