Fix bug in print out of config parameters