Small improvments for HTML page