diff --git a/ObsoleteFiles.inc b/ObsoleteFiles.inc
index 8399d334f44e..44eb2740d958 100644
--- a/ObsoleteFiles.inc
+++ b/ObsoleteFiles.inc
@@ -419,7 +419,7 @@ OLD_FILES+=usr/share/man/man9/mbp_sync.9.gz
 OLD_FILES+=usr/lib/libstand.a
 OLD_FILES+=usr/lib/libstand_p.a
 OLD_FILES+=usr/include/stand.h
-OLD_FILES+=usr/share/man/man3/libstand.3
+OLD_FILES+=usr/share/man/man3/libstand.3.gz
 # 20171003: remove RCMDS
 OLD_FILES+=bin/rcp
 OLD_FILES+=rescue/rcp