a little change to server_version