Fixing SBML export