Notes concerning “Tree rewriting”