Make fabbot happy