ido-mode tweaks