Fix update after 'opam repo add' ; add 'opam lint --normalise'