Fix up html version