I just noticed that, too. I'm not sure. I can remove it in this branch, but wasn't sure if I should do it here or elsewhere.