Minor fixes in HTML