A couple of fixes regarding the reverse incremental search that was partly broken.