Not very clear to see in github, but this variable was never used :)