Minor fixes to output of config file