dev-manual: some fixes
Merge pull request #1783 from OCamlPro/dev-man-fix

dev-manual: some fixes