Server: Minor code-stylistic corrections.