Fixed one of three compilation bugs in server