hoogle patch