Fixing another bug introduced in the merge.

It was related to the changes in the configuration file.