Change some comment style in userOptions.inc