Oh, that's a remnant from the pull request thing someone put in while I was working. I think I might have accidentally copied that over.