Modify HTML output (fixes #4)