fix syntax error in opam file