bugfix in DagstuhlParser