Nice catch. That was a subtle bug.