Some changes to hypertext export formatting