Fix a recently introduced type in ccs.py