Fix hoogle plugin error on load