fix error at test/MakeTree.k