Arch: small fix to Ifc Explorer