Changing <ESC> from jj to jk. Should be better, right? Now let's get used to it