updated HTML doc