Fixing the search box in the header

Fixes #120