minor tweaks around config file