Never mind, W3C says this is supposed to be a qualified name, so this is good.