The first author's name is spelled incorrectly in the HTML version of the article, in the online article abstract page, and in the online table of contents for Vol. 32, No. 7: “de Brujin” should be “de Bruijn”.