Minor fix to a comment