These are the lines immediately preceding those in the other note (and link) on this page.