Fixed case part of bug #64874 ("json_decode handles whitespace and case-sensitivity incorrectly")