FIX bug in example: results not printed