Correction to 87e3e01d3c649733825cb307770009afe60c8643