Some small changes to the ''search_operators'' thing