edit cgi/typeset.py
edit cgi/typeset.py