diff --git a/third_party/3/lxml/ertree.pyi b/third_party/3/lxml/etree.pyi similarity index 100% rename from third_party/3/lxml/ertree.pyi rename to third_party/3/lxml/etree.pyi