Fixed a typo in the server code