Correctly set history point after Ctrl-C