Remove autohighlight -- it screws up search.