Slightly clarified cctools.py