fix prop/for-all => for-all