diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc
--- a/ObsoleteFiles.inc
+++ b/ObsoleteFiles.inc
@@ -203,7 +203,7 @@
 OLD_FILES+=usr/bin/newkey
 OLD_FILES+=usr/share/man/man1/chkey.1.gz
 OLD_FILES+=usr/share/man/man1/keylogin.1.gz
-OLD_FILES+=usr/share/man/man1/keylogin.1.gz
+OLD_FILES+=usr/share/man/man1/keylogout.1.gz
 OLD_FILES+=usr/share/man/man5/publickey.5.gz
 OLD_FILES+=usr/share/man/man8/keyserv.1.gz
 OLD_FILES+=etc/rc.d/keyserv