small adjustments in html