Bugfix in SBML Reader