<Ctrl-Right> and <Right> have the same control sequence :\