diff --git a/implementations/stdlib_binary_integers.v b/implementations/stdlib_binary_integers.v
index 9dd7150..3628a66 100644
--- a/implementations/stdlib_binary_integers.v
+++ b/implementations/stdlib_binary_integers.v
@@ -261,7 +261,7 @@ Qed.
 #[global]
 Instance Z_div: DivEuclid Z := Z.div.
 #[global]
-Instance Z_mod: ModEuclid Z := Zmod.
+Instance Z_mod: ModEuclid Z := Z.modulo.
 
 #[global]
 Instance: EuclidSpec Z _ _.