Improved HTML output in Syntagma