diff --git a/htdocs/main.inc.php3 b/htdocs/main.inc.php3
index d4af7ebd73e..04c334a7abb 100644
--- a/htdocs/main.inc.php3
+++ b/htdocs/main.inc.php3
@@ -26,7 +26,7 @@ require ($GLOBALS["DOCUMENT_ROOT"]."/product.class.php3");
 require ($GLOBALS["DOCUMENT_ROOT"]."/user.class.php3");
 require ($GLOBALS["DOCUMENT_ROOT"]."/menu.class.php3");
 require ($GLOBALS["DOCUMENT_ROOT"]."/societe.class.php3");
-require ($GLOBALS["DOCUMENT_ROOT"]."/html.form.class.php3");
+require ($GLOBALS["DOCUMENT_ROOT"]."/html.form.class.php");
 require ($GLOBALS["DOCUMENT_ROOT"]."/rtplang.class.php");
 
 $conf = new Conf();