Errata: 2013-02-22-npot: normalized "optimizations"; corrected typo.