Issue #5983: Modification of a single example naming