Minor fix in a comment