fixup! Installation in DOC