Could we have this change along with the .gitignore change into a new pull request?