Fix bad OPAM command.