fix problems with highlighting selection using shift-end in org mode