Minor fix to comment