Fix broken repository for ido-vertical-mode.