Thanks for picking it out. I removed this file after amending the commit, but unsure of how to update the pull request. Is there a way to do it without opening a new pull request?