Fix ugly scrolling introduced with Ctrl-R support