Re: [BUG] in minibuffer history ?