Server: fix assumption condition

checkArgument is used when you want argument to be TRUE, not FALSE.
We had this backwards