That was probably an accident that committed when it was supposed to be a part of #416. As you said, it gets removed in #416, so it shouldn't be an issue.