Update to fix type and example leap loop