Adjusted ext_tables.php