Bugfix in IFC