diff --git a/iris_heap_lang/lang.v b/iris_heap_lang/lang.v
index 6a126402e27acbf9923eb42d97156476c3067bac..49c537d76df2773c77f4fdbc3650a6c6eb3e0dbd 100644
--- a/iris_heap_lang/lang.v
+++ b/iris_heap_lang/lang.v
@@ -81,7 +81,7 @@ Inductive un_op : Set :=
 Inductive bin_op : Set :=
   (** We use "quot" and "rem" instead of "div" and "mod" to
       better match the behavior of 'real' languages:
-      -30/-4 == 7. ("div" would return 8.) *)
+      e.g., in Rust, -30/-4 == 7. ("div" would return 8.) *)
   | PlusOp | MinusOp | MultOp | QuotOp | RemOp (* Arithmetic *)
   | AndOp | OrOp | XorOp (* Bitwise *)
   | ShiftLOp | ShiftROp (* Shifts *)