Fix search box

after it was broken by 202c7b7783865d119afccc4e403ad85bf5846530
Merge pull request #99 from nmaier/fix-search

Fix search box