One more tiny fix for config file usage