Minor fix to some comments