Erratum loosely inserted.