hr: Make example consistent with challenge output for is-fibo.