fix std.html