diff --git a/ChangeLog b/ChangeLog
index 51eca457c..a151c6c00 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -34,7 +34,7 @@
  + Fixed Bug #723, which displayed a misleading message when the output was
    truncated to a page.
  + Fixed Bug #732, which fixes misleading messages and documentation for
-   merge/push/pull URIs (thanks to Thomas Cech).
+   merge/push/pull URIs (thanks to Tomas Cech).
 
 # Untracked Bugs, biggest first.