bugfix in dagstuhl-parser