Perceived typographical errors have been changed.