Updated typeset.bash file.