// DocumentProperty:
// "#+OPTIONS: H:20 num:20"
- tokenizer.addTerminator(PRESERVE, "#\\+[^\\s]+:.*\\r?\\n", TG_DOCUMENT_PROPERTY);
+ tokenizer.addTerminator(PRESERVE, "#\\+([^\\s]+):(.*)\\r?\\n", TG_DOCUMENT_PROPERTY);
// Drawer property:
// " :ID: 533734b9-0456-4448-9830-a43646345615"