Correction to commit bd8da7b