Ah, yeah, this matches v2.5.1; We'll change this commit to explicitly use the v2.5.1 tag. Even though the code is the same, this makes it easier for us to keep track of things.