Fixing formatting a bit in search-related code