minpoly: fix doctest error