Fix html export