feedback problems fixed from CZF