All of the green above is surprising me. I did not write this code, and it is already in master. It began to appear here when I merged master into my branch to resolve the fact that github said I couldn't automatically merge. I think Github is confused, and I've seen this happen on a few other occasions.