(an empty text element)