JSON extension.