A correction to Epp's paper "Elimination of wild ramification"

We fill a gap in the proof of one of the central theorems in Epp's paper, concerning $p$-cyclic extensions of complete discrete valuation rings.