Fixed some bugs related to polynomials over padics.