Small tweaks to html