include unfolding errors by default