Catch up to cbb6090.
Add missing footnote.