Documentation of prem()

Dear all, the documentation about the function prem() (section 5.5.3 of GiNaC 1.0.11) says that the pseudo-remainder of 'a' and 'b' satisfies c*a = b*q + prem(a, b, x), where c = b.lcoeff(x)^(a.degree(x) - b.degree(x) + 1). I think there is maybe a mistake (probably a printing mistake), the formula should be c*a = c*b*q + prem(a, b, x), where c = b.lcoeff(x)^(a.degree(x) - b.degree(x) + 1). Regards, Tatiana Zolo