Perceived typographical errors have been silently corrected.