publick should be changed to public It's intentional. Knowing Knuth's predilections, I assume he found an original document with Leland Stanford's words from 1885. "publick" would have been a common spelling at that time. Spelling in general was far less standardized than now. --thanks, karl.