Small changes to examples
Fix conversion from numeric to int