Why Google’s earnings “miss” wasn’t actually that bad