Fix the configuration of 'HTML'