Fixed InformationSet generation