some fixes for HTML