Fixing SBML printing