minor fixes, search.js