Fix HTML export script