Fix various SBML export issues