Arch: small fix to IFC importer