small fix for server-runner