Errata typographica. 



