You're right. I've deleted this line as it doesn't correspond with the goal of my pull request.