ido-everywhere screws things up