tokenAnnoSpan: added the appropriate property