Minor ajustments to html.