fix bug with newer version of grako