Small corrections to the syntax_tree module