improvements on the search kernel