diff --git a/doc/general.texi b/doc/general.texi
index 2b1cc9252858fa8b8a21c3fab586c78fab703530..8fc27d60355db4adca503ea2a86217a9edc47319 100644
--- a/doc/general.texi
+++ b/doc/general.texi
@@ -829,7 +829,7 @@ should also be avoided if they don't make the code easier to understand.
     warning always points to correct and clean code, that warning should
     be disabled, not the code changed.
     Thus the remaining warnings can either be bugs or correct code.
-    If it is a bug, it has to be fixed. If it is not, the code should
+    If it is a bug, the bug has to be fixed. If it is not, the code should
     be changed to not generate a warning unless that causes a slowdown
     or obfuscates the code.
 @item