Tidying of HTML: done.