added "original=" attribute to TextMarkupCorrection