Fix a bug detected by Jules in TestComplex