Correction appended below.