get_leaves added, set_modDate removed