Manual, html, avoid warning. Slight formatting change.
Manual, html, avoid warning. Slight formatting change.

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml