small bugfix in parser