unescaped in <choice>