Fix ido-ignore