bash-completion: Fix man completion (fixes #1056)