Correction from Nov. 6, 2019 edition