Fix Haddock
docs