minor server doc update