dict.cc.py: Minor reformatting