RE: Haddock bug?