Patch to fix TIDY_STORE_ORIGINAL_TEXT