Fix HTML constant names.