ido and minibuffer