Minor haddock formatting bug.