Minor fix, final numbers in example