fixing bugs for Unfolding