Fix search.pl.