JSON extension fix