Updated typo for html export