[ HTML ] Tidy (minor) changes