ocamldoc fixes

small glitches in the html documentation are hereby fixed.