Fix a potential launchinfo.json bug.