Minor type in comments