Removing unused extension
Haddock fixes