HTML tag (fixes #1)