bugfix in json decode with null