Correction to #624