change <strike> to <del>