diff --git a/resources/yices_api.py b/resources/yices_api.py
index 0f6a471..512d022 100644
--- a/resources/yices_api.py
+++ b/resources/yices_api.py
@@ -222,9 +222,9 @@ def loadYices():
     global libyicespath
     error_msg = "Yices dynamic library not found."
     # attempt loading yices from both $PATH and default install location
-    print(f'{os.environ("PATH")=}')
-    print(f'{os.environ("PYTHONPATH")=}')
-    print(f'{os.environ("VIRTUAL_ENV")=}')
+    print(f'{os.environ.get("PATH")=}')
+    print(f'{os.environ.get("PYTHONPATH")=}')
+    print(f'{os.environ.get("VIRTUAL_ENV")=}')
     for path in sys.path + ['/usr/local/lib']:
         if _loadYicesFromPath(path, libyicespath):
             return