Minor adjustments to the syntax_trees module