Minor HTML-adjustments