Update typeset.py