Fix related to API changes in opam-doc-base