Typo fix in Generalized Clash proof.