Some HTML optimizations