Fixed error in typeset.bat