bug fix in configuration.php