ehm, yes, that title is a bit silly. Would you prefer a new PR with title stuff in addition to search fix?
I mean to skip this single commit PR and add another one with title to the batch.