minor fixes to 'Guidance for Server Operators'