Update config.inc.php.dist

Missing round bracket at line 24