kleine Verbesserungen am Parser