diff --git a/test/pickle_open_scoped_2.in b/test/pickle_open_scoped_2.in
index 07d9bc6..24efb5c 100644
--- a/test/pickle_open_scoped_2.in
+++ b/test/pickle_open_scoped_2.in
@@ -1,5 +1,3 @@
 {"unpickleEnvFrom": "test/f.olean"}
 
-{"cmd": "open scoped X", "env": 0}
-
-{"cmd": "example : 39 = X.f 2 := rfl", "env": 1}
+{"cmd": "example : 39 = 2 ! := rfl", "env": 1}