diff --git a/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml b/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml
index 2baf69e37..29c2db441 100644
--- a/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml
+++ b/src/proto_alpha/lib_protocol/src/michelson_v1_primitives.ml
@@ -510,7 +510,6 @@ let prim_encoding =
     ("SOURCE", I_SOURCE) ;
     ("SENDER", I_SENDER) ;
     ("SELF", I_SELF) ;
-    ("SLICE", I_SLICE) ;
     ("STEPS_TO_QUOTA", I_STEPS_TO_QUOTA) ;
     ("SUB", I_SUB) ;
     ("SWAP", I_SWAP) ;
@@ -547,7 +546,10 @@ let prim_encoding =
     ("timestamp", T_timestamp) ;
     ("unit", T_unit) ;
     ("operation", T_operation) ;
-    ("address", T_address) ]
+    ("address", T_address) ;
+    (* Alpha_002 addition *)
+    ("SLICE", I_SLICE) ;
+  ]
 
 let () =
   register_error_kind