Update typeset.sh