minor changes to doc/style.py