used the new htmlize function for last michael's commit