RE: Quirks in code fragment of 5.7.5 Namespaces on variables, options, and parameters

> |
> | Am I right in proposing to write it, the following way ?
> |
> | <!-- prefix p should be already bound at this point -->
> | <ex:delete-in-div xmlns:ex="http://example.org/ns/ex"
> | divchild="html:p[@class='delete']"
> |                  xmlns:html="http://www.w3.org/1999/xhtml"/>
> 
> Yes. Good catch! Fixed.

Shouldn't section 4.8.1 (Syntactic Shortcut for Option Values) say that
options specified using the shortcut form inherit the in-scope namespace
of the step? Otherwise the above mentioned fix does not work.

Regards,
Vojtech