In fact, we will see in Section 3.2 that in the variable coefficient case, smoothness of the symmetrizer in k′ is required.