OK, GitHub is being weird. I see that you already did this by re-reading the full diff, but the diff above still displays the old code, and isn't marked as "outdated" like usual.

So this looks good, thanks.