Ah, my bad — got thrown off by the original wording