Improved SBML export