MFC: make pod2man happy