js search improved (thanks a lot to Jan Battenfeld)