Make example truer to what the tagged code actually generates.