bugfix release

sorry about this, it makes the package compatible with `OPAMBUILDDOC=1` (thanks to @whitequark for spotting the issue).