Adjusting coding style in cmsp.py