fix a small bug when using ido-goto-bookmark