Sorry for the noise: I had a typo and a font too small to see it, both of which have now been corrected.