Fixed a little bug regarding PHP's json_decode syntax.