hand-patch to fix docs