diff --git a/src/bin/man/autfilt.x b/src/bin/man/autfilt.x
index d47b89c93..d67e450ba 100644
--- a/src/bin/man/autfilt.x
+++ b/src/bin/man/autfilt.x
@@ -1,6 +1,6 @@
 .\" -*- coding: utf-8 -*-
 [NAME]
-autfilt \- filter, convert, and transform Büchi automata
+autfilt \- filter, convert, and transform omega-automata
 [DESCRIPTION]
 .\" Add any additional description here
 [BIBLIOGRAPHY]