Fixed some formatting in the documentation of the settings in defaults.config