Yeah, good point; I glossed over that when reading (chiefly, I made sure this passed in the environments, via Jenkins).