This line was not here when I reviewed the pull request, neither was the gitignore change. I think mike pushed just before I hit merge.