little changes to the html doc