uct_progress_json(): Remove the /**/ leader (per Jonathan's request)