HTML docs updated