Corrigendum: On the complexity of finding first-order critical points in constrained nonlinear optimization