Typo in documentation

Hi,

There is a typo here: https://plv.mpi-sws.org/coqdoc/iris/iris.algebra.cmra.html#lab34, which shows:

It comes from a section title spitted in two lines. This seems to be the only occurrence