Bug fix XMI serializer