Fix defect in previous commit