diff --git a/tools/dev/ensure_headers.py b/tools/dev/ensure_headers.py
index d56f67ac32b..435376ace37 100644
--- a/tools/dev/ensure_headers.py
+++ b/tools/dev/ensure_headers.py
@@ -32,8 +32,7 @@
 def get_paths_from_tree(root, level=0):
     for entry in root:
         if entry.type == "tree":
-            for x in get_paths_from_tree(entry, level + 1):
-                yield x
+            yield from get_paths_from_tree(entry, level + 1)
         else:
             yield Path(entry.path)  # entry.type