Remove repeated word.

Fix "with with" in 7.1.6.5/7.