we fleshed out the html file