Fixed small bugs in server code