Better HTML loading, handles enconding.

This little change will correct non-ASCII characters, including the German ones.