Fix yet another missing update in mkHoleResults