Fixed typo in html export.