fixed a bug in iterated Eisenstein extensions