Fixing a bug related to user configuration at startup