That was a dumb bug.