Hotfix of document builds