correct the packaging of core.json, etc.

little bug