Re: Minibuffer bug