Fix search box

after it was broken by 202c7b7783865d119afccc4e403ad85bf5846530