clean up html declaration and encoding slightly.