Explanatory comment added in this line and in ```ConfigurationTree```.