Fixed HTML export