diff --git a/src/proto_alpha/lib_protocol/src/constants_repr.ml b/src/proto_alpha/lib_protocol/src/constants_repr.ml
index 733cb9814..36b17a4c2 100644
--- a/src/proto_alpha/lib_protocol/src/constants_repr.ml
+++ b/src/proto_alpha/lib_protocol/src/constants_repr.ml
@@ -12,9 +12,11 @@ let version_number = "\000"
 let proof_of_work_nonce_size = 8
 let nonce_length = 32
 
-(* 10 tez *)
+(* 1/8 tez *)
 let seed_nonce_revelation_tip =
-  Tez_repr.(mul_exn one 10)
+  match Tez_repr.(one /? 8L) with
+  | Ok c -> c
+  | Error _ -> assert false
 
 (* 1 tez *)
 let origination_burn =