updated HTML docs