Oh, OK. We should probably just delete it, then. I'll merge this PR now because it sounds like this should be done sooner rather than later, and submit a new PR to delete the excess line.