fix problem with jison