Fix related to API changes in opam-doc-base
Merge pull request #1 from samoht/master

Fix related to API changes in opam-doc-base