small tweak to increment_tree