improvements to minibuffer