oops, remove debugging line from search_inside