Minor bugfix in Configuration.cpp