Fix full.json

That duendecat thing.