Fix server docs.