Added hoogle.