Minor markup changes

In order to make it valid HTML5.