Fix problem with JSON stringify_names