Fix hightlighted eofs when moving to the right