diff --git a/sail_json_backend.opam b/sail_json_backend.opam
index b4f01652e..3dfbba7d4 100644
--- a/sail_json_backend.opam
+++ b/sail_json_backend.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.17"
+version: "0.18"
 synopsis: "Sail to JSON formatting"
 maintainer: ["Sail Devs <cl-sail-dev@lists.cam.ac.uk>"]
 authors: [
diff --git a/src/sail_json_backend/sail_plugin_json.ml b/src/sail_json_backend/sail_plugin_json.ml
index eb7ccacf8..6dd41fbce 100644
--- a/src/sail_json_backend/sail_plugin_json.ml
+++ b/src/sail_json_backend/sail_plugin_json.ml
@@ -66,10 +66,11 @@
 (****************************************************************************)
 
 open Libsail
+open Interactive.State
 
 let json_options = []
 
-let json_target _ _ out_file ast effect_info env = Json.defs (Type_check.strip_ast ast)
+let json_target out_file { ast; _ } = Json.defs (Type_check.strip_ast ast)
 
 let _ =
   Target.register ~name:"json" ~options:json_options