Nope, I'm saying that what's suggested in this docs change seems to be the right thing to suggest ;)