Performance-wise it might not really matter actually; Saxon might stop looking for more matches once it finds its first match. But I agree it should be `/*/` and not `//`.