minor fix to destructuring example output