Unchecked class in HTML export

Makes it simpler to convert this code into another language for instance