Update example to work with Jinx 0.6.10