removed HTML compression; it may have introduced weird HTML char conversions