Fix minor bug in Sisyphus' WebLaunch v2