small fix to server