making sure storeJSON works in PHP 5.3