Fix bug in my version of JSON.pm