Now the search text box works as expected

Fixes #1334.