diff --git a/Changelog.md b/Changelog.md
index ce247efe6..aa1780c68 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,12 @@
 # Changelog
 
-## UNRELEASED
+## [1.19.2] - 12/10/2023
+
+Requires Elpi 1.16.5 and Coq 8.18.
+
+### Misc
+
+- Fix `Elpi Export` broken when used from VsCoq2
 
 ### APIs
 
diff --git a/elpi-builtin.elpi b/elpi-builtin.elpi
index 86a22a137..4c6705dd6 100644
--- a/elpi-builtin.elpi
+++ b/elpi-builtin.elpi
@@ -1187,8 +1187,8 @@ type unix.process out_stream -> in_stream -> in_stream -> unix.process.
 % Environment can be left unspecified, defaults to the current process
 % environment.
 % This API only works reliably since OCaml 4.12.
-external pred unix.process.open i:string, i:list string, i:list string,
-				o:unix.process, o:diagnostic.
+external pred unix.process.open i:string, i:list string, i:list string, 
+                                o:unix.process, o:diagnostic.
 
 % [unix.process.close P Diagnostic] OCaml's Unix.close_process_full
 external pred unix.process.close i:unix.process, o:diagnostic.