Fixed minor bug in JSONEncode line 179