Bugfix in wrlog_json