minor modifications in html