Daily bugfix in the polynomial factorization (code didn't catch polynomial "x"