small fixes for IFC4