Well, this first one should probably still be `$base` (or `base-uri(/*)`) as it refers to a processing instruction. And I assume processing instructions can't have their own base URI different from the document base URI...