more xmi stuff