diff --git a/environments/community/lean_proof_env/lean_env.py b/environments/community/lean_proof_env/lean_env.py
index f9c5660b..01daf32d 100644
--- a/environments/community/lean_proof_env/lean_env.py
+++ b/environments/community/lean_proof_env/lean_env.py
@@ -18,7 +18,7 @@ from atroposlib.type_definitions import (  # Item might not be directly used if
 )
 from atroposlib.utils.tokenize_for_trainer import tokenize_for_trainer
 
-# from pypantograph import PyPantograph # Assuming it\'s a package
+# from pypantograph import PyPantograph # Assuming it's a package
 # For now, mock PyPantograph: