Fix example server code