I'd leave this change out to keep the diff smaller, but not a big deal.