Also update output of example fixed by issue #124