Fix HTML export