Fix weird formatting in manifest.json