fix std.json