diff --git a/petsctools/options.py b/petsctools/options.py
index be92fd5..a73f5f4 100644
--- a/petsctools/options.py
+++ b/petsctools/options.py
@@ -485,11 +485,10 @@ def __init__(self, parameters: dict,
         self._used_options = set()
 
         # Decide whether to warn for unused options
-        with self.inserted_options():
-            if self.options_object.getBool("options_left", False):
-                weakref.finalize(self, _warn_unused_options,
-                                 self.to_delete, self._used_options,
-                                 options_prefix=self.options_prefix)
+        if self.options_object.getBool("options_left", False):
+            weakref.finalize(self, _warn_unused_options,
+                             self.to_delete, self._used_options,
+                             options_prefix=self.options_prefix)
 
     def set_default_parameter(self, key: str, val: Any) -> None:
         """Set a default parameter value.