Update dict-mini-buffer.js