Minor haddock formatting fix