fix haddock submodule pointer