Yes, I overlooked this, it's already used elsewhere...