Minor bugfix in ddi2xml