small changes in gumtree parser