That was an error I introduced accidentally. I'll fix it.