Minor correction on the comment of binary_tree4.