minibuffer history now persistent
tidy up