Fix --server-override -> --server documentation bug.