Minor Fix for pretty print JSON in PHP 5.3 version