Update docs.mli