fix printing of Config