fixed the failing specifications with allOf