Fix haddock example