Bash: fix bug with menu-completion