fix a bug of hensel lifting