small fix in server