Fixed Haddock error in header.