diff --git a/iris/algebra/lib/dfrac_agree.v b/iris/algebra/lib/dfrac_agree.v
index 388fd6dbc5e54350461d74c57c3ca24d1bdebb4e..693287c55bc87f04cad2dd14be226adc44190ce6 100644
--- a/iris/algebra/lib/dfrac_agree.v
+++ b/iris/algebra/lib/dfrac_agree.v
@@ -126,4 +126,4 @@ Section lemmas.
 End lemmas.
 
 Typeclasses Opaque to_dfrac_agree.
-(* to_frac_agree is deliberately transparent to reuse the to_dfrac_agree instances *)
+(* [to_frac_agree] is deliberately transparent to reuse the [to_dfrac_agree] instances *)