Resolving Haddock issues and documentation typos