Update stdmain.html