Minor fixes in command line help for dedicated server