diff --git a/theories/algebra/cmra.v b/theories/algebra/cmra.v
index f2641cd16cf1b8cccf65c19cefec4f9d8879d78a..11f1489ef1b4f7da32d0ba1d7a5b55545f75c536 100644
--- a/theories/algebra/cmra.v
+++ b/theories/algebra/cmra.v
@@ -65,7 +65,7 @@ Section mixin.
   }.
 End mixin.
 
-(** Bundeled version *)
+(** Bundled version *)
 Structure cmraT := CmraT' {
   cmra_car :> Type;
   cmra_equiv : Equiv cmra_car;