I think the original reads OK, but the antecedent to &quot;that&quot; was unclear anyway and should have been spelt out.<p>However, clearly this was written with an ear to humour so the extra &quot;that&quot; is essential - which is why you have your editing interface flag the double but not auto-correct it.