small jison fix