Improve slightly.
Add attribution to D.E. Knuth