  M. Levine proved an enrichment of the classical Riemann-Hurwitz formula to an
equality in the Grothendieck-Witt group of quadratic forms. In its strongest
form, Levine's theorem includes a technical hypothesis on ramification relevant
in positive characteristic. We consider wild ramification at points whose
residue fields are non-separable extensions of the ground field k. We show an
analogous Riemann-Hurwitz formula, and consider an example suggested by S.
Saito.
