I think it was an artifact of having parameterized types earlier. I'll try to remove it.