Patch WebCore to avoid crash with a malicious sequence of characters.