Update std.html