fixed compile errors of some .texs, fixed typeset2.html

compile errors were seen in some .texs.
typeset2.html was obsolete.