Just to confirm: this looks like the correct change to me.