diff --git a/src/lib_base/tzPervasives.ml b/src/lib_base/tzPervasives.ml
index 6fd1c174e..ded12a8a5 100644
--- a/src/lib_base/tzPervasives.ml
+++ b/src/lib_base/tzPervasives.ml
@@ -8,13 +8,14 @@
 (**************************************************************************)
 
 include Tezos_stdlib
-include Tezos_data_encoding
 include Tezos_error_monad
 include Tezos_rpc
 include Tezos_clic
 include Tezos_crypto
 include Tezos_micheline
 
+module Data_encoding = Tezos_data_encoding.Data_encoding
+
 module List = struct
   include List
   include Tezos_stdlib.TzList
diff --git a/src/lib_base/tzPervasives.mli b/src/lib_base/tzPervasives.mli
index de7038eff..d10da53a5 100644
--- a/src/lib_base/tzPervasives.mli
+++ b/src/lib_base/tzPervasives.mli
@@ -8,12 +8,13 @@
 (**************************************************************************)
 
 include (module type of (struct include Tezos_stdlib end))
-include (module type of (struct include Tezos_data_encoding end))
 include (module type of (struct include Tezos_error_monad end))
 include (module type of (struct include Tezos_rpc end))
 include (module type of (struct include Tezos_clic end))
 include (module type of (struct include Tezos_crypto end))
 
+module Data_encoding = Data_encoding
+
 module List : sig
   include (module type of (struct include List end))
   include (module type of (struct include Tezos_stdlib.TzList end))
diff --git a/src/lib_data_encoding/data_encoding.ml b/src/lib_data_encoding/data_encoding.ml
index 4a16a52dc..63f3092e0 100644
--- a/src/lib_data_encoding/data_encoding.ml
+++ b/src/lib_data_encoding/data_encoding.ml
@@ -6,6 +6,7 @@
 (*    All rights reserved. No warranty, explicit or implicit, provided.   *)
 (*                                                                        *)
 (**************************************************************************)
+
 module Encoding =
 struct
   include Encoding