Bug fix for JSON