A filter that fixes double encoded characters in JSON