BUG in configuration.php