Fix bug in config.php