formatting adjustments for prettiness of HTML