Fix server usage in the doc too.