Fixed whitespace bug in server launching code