// typo in HTMLTemplate.php