Minor fix for the first example