Minor spacing adjustment in HTML