[GiNaC-devel] Minor clifford.cpp patch