Do not accept JSON objects with duplicate keys.
Minor tweaks.