patching to make fabbot happy