Made small changes to the HTML docs