corrected minor mistake in server.cc