Fixed debug values in example12