HTML fleshed-out a little