I don't think this change makes any difference.