Fix the nice opam messages.