reproducible example for a possible haddock bug