fix some typo with html export