Fix server code snippet