Fix glitches in MROOTINT documentation.