minor change in server.go