Test for bug 15380: XPath: id('foo') doesn't resolve correctly.