Annotated end tags.