I am somewhat confused: I don't see it on the diff on github.