Correct name of trepan2 minibuffer history variable