You haven't pushed that change to github yet or am I reading the wrong diff for some reason?