Fixing the FMapSubst3 proof.