fix ocaml indentation
highlight XXX in comments
updated global settings