Fix descr and opam files error

Fix descr and opam.