Use less anonymous names in the example output