diff --git a/docs/xdto-dsl-spec.md b/docs/xdto-dsl-spec.md
index 91bf8ad7..ebd91953 100644
--- a/docs/xdto-dsl-spec.md
+++ b/docs/xdto-dsl-spec.md
@@ -117,6 +117,7 @@
 | `xdto:elementFormQualified`, `xdto:attributeFormQualified` | `xs:schema` | записать флаги явно |
 | `xdto:type` | `xs:enumeration` | `xsi:type` литерала перечисления |
 | `xdto:prefix` | объявление | осмысленный префикс пространства имён вместо генерируемого `dNpM` (например `dcsset`) |
+| `xdto:declareNs` | `xs:union` | объявить префикс пространства имён на узле (при нотации Кларка платформа иногда его пишет, иногда нет) |
 
 ### Что выводится само
 
@@ -181,7 +182,8 @@ XML Schema выразительнее модели XDTO. Перечисленн
 
 | Конструкция | Что происходит |
 |---|---|
-| вложенные `xs:sequence` / `xs:choice` | уплощаются в плоский список свойств; вложенный выбор варианта не сохраняется |
+| вложенная `xs:sequence` | уплощается в плоский список свойств |
+| вложенная `xs:choice` | уплощается, и **ветки становятся необязательными**: иначе «одно из двух» превратилось бы в «оба обязательны» и тип нельзя было бы заполнить. Запрет «ровно один из» не сохраняется |
 | `xs:all` | трактуется как последовательность |
 | `minOccurs`/`maxOccurs` на самой частице | не выражается, отбрасывается |
 | `substitutionGroup` | объявление сохраняется как обычное |