Update REAMDE and mli