Comment and document-end marker