Ah, right. It's outside a critical section. Never mind, then.