Update JSON.php

Fix #1042