Minor cleanup on HTML