Improving again the messages on 'opam update'