Adjustment of FormatToHTML, FormatProfessorToHTML and the class Util.