Update class_defined.html