Add end-of-event marker to storedString() output.