bug fixed in --print-coefficients