Minor change to server docs