caml and fixes for latex
fixes for consistency