[MIN] XQuery, #695: simplified