The change here is fine to me.