Some formatting of search#main