Correction to #634