made HTML compression more compact