diff --git a/src/math/lp/hnf_cutter.h b/src/math/lp/hnf_cutter.h
index 8ff9732d0..b3530ea29 100644
--- a/src/math/lp/hnf_cutter.h
+++ b/src/math/lp/hnf_cutter.h
@@ -9,7 +9,7 @@ Abstract:
 
     Cuts (branches) from Hermite matrices
     The implementation is based on ideas from
-    "Cutting the Mix" by Jürgen Christ and Jochen Hoenicke.
+    "Cutting the Mix" by Jurgen Christ and Jochen Hoenicke.
 Author:
     Lev Nachmanson (levnach)