Edited a few comments in the typeset.bash file.