Info set bug fixed.