diff --git a/src/lean_dojo/data_extraction/lean.py b/src/lean_dojo/data_extraction/lean.py
index 0d4001f..d7cdf32 100644
--- a/src/lean_dojo/data_extraction/lean.py
+++ b/src/lean_dojo/data_extraction/lean.py
@@ -8,8 +8,9 @@
 import toml
 import time
 import urllib
-import webbrowser
 import shutil
+import tempfile
+import webbrowser
 from enum import Enum
 from pathlib import Path
 from loguru import logger