Includes erratum loosely inserted.