add missing 'import json'