fix issue with html export