Syntax correction in opam files