fixed hoogle.txt