minor style changes in config