Fixes to example config.ini.