trivial syntax and comment fixes to global settings file.