Minor type corrected